|
César Sánchez
Ph.D. Stanford University, 2007 |
|
|
Research Scientist (tenure-track) Madrid Institute for Advanced Studies in Software Development Technologies | |
In January 2008, I started a tenure track in the Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA-Software).
Contents
General Information
Email: my_first_name 'dot' my_last_name AT imdea 'dot' orgWeb: http://cs.stanford.edu/~cesar
Contact:
- Mailing
Cesar Sanchez
Universidad Politécnica de Madrid
Facultad de Informática, office 3301
28660-Boadilla del Monte, Madrid, SPAIN - Phone: +34-91-336-7448
- Fax: +34-91-336-5018
Current Areas of Research
Research interests
My research interests include applications of logic to computer science, and formal methods for the design, analysis and verification of systems. In particular:- Rigorous approaches for the study of distributed systems, real-time systems and embedded systems,
- Formal approaches to event correlation and event-pattern reactive programming languages and systems,
- Automata theory and applications to verification,
- Applications of coinductive techniques to the behavioral definition of reactive systems,
- Lightweight and scalable formal methods for the analysis of systems (such as runtime verification),
- Term rewriting.
Selected Publications
- Cesar Sanchez, Matteo Slanina, Henny B. Sipma and Zohar Manna The Reaction Algebra: A Formal Language for Event Correlation, In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, vol 4800 of Lecture Notes in Computer Science (LNCS), pp 586--609. Springer-Verlag, Berlin, 2008. Abstract BiB PS PDF
- Martin Leucker and Cesar Sanchez Regular Linear Temporal Logic, In Proceedings of The 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07), vol. 4711 of Lecture Notes in Computer Science (LNCS), pp 291--305. Springer, 2007. Abstract BiB PS PDF
- Cesar Sanchez: Deadlock Avoidance for Distributed Real-Time and Embedded Systems, Ph.D. thesis, Stanford University, May 2007. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma and Zohar Manna: A Family of Distributed Deadlock Avoidance Protocols and their reachable State Spaces, In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE'07), colocated with ETAPS'07, vol. 4422 of Lecture Notes in Computer Science (LNCS), pp 155--169, Springer-Verlag, 2007. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma and Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers, In The Fifteenth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2007), collocated with IPDPS'07 (21st IEEE International Parallel and Distributed Processing Symposium), IEEE Computer Society Press, 2007. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma, Christopher D. Gill and Zohar Manna: Distributed Priority Inheritance for Real-Time and Embedded Systems, In Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS'06), vol. 4305 of Lecture Notes in Computer Science, pp110-125, Springer-Verlag, 2006. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma, Zohar Manna and Christopher D. Gill: Efficient Distributed Deadlock Avoidance with Liveness Guarantees, In Proceedings of the 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), pp12-20, ACM Press, 2006. Abstract BiB PS PDF
- Cesar Sanchez and Henny B. Sipma: Reachable State Spaces of Distributed Deadlock Avoidance Protocols, Technical Report REACT-TR-2006-01, Stanford University, Computer Science Dept., REACT Group, June, 2006. Abstract BiB PS PDF
- Venkita Subramonian, Christopher D. Gill, Cesar Sanchez and Henny B. Sipma Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time Embedded Systems , In Proceedings of the 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), pp252-261, ACM Press, 2006. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma and Zohar Manna: On Efficient Distributed Deadlock Avoidance for Distributed Recursive Processes Abstract PS PDF
- Cesar Sanchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian and Christopher D. Gill: On Efficient Distributed Deadlock Avoidance for Real-Time and Embedded Systems, In 20th IEEE Int'l Parallel and Distributed Processing Symposium (IPDPS'06), IEEE Computer Society Press, 2006. Abstract BiB PS PDF
- Cesar Sanchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill and Zohar Manna: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems, In 25th IFIP WG 2.6 Int'l Conf. on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731 of Lecture Notes in Computer Science, Springer-Verlag, pp 159-173. Abstract BiB PS PDF
- Cesar Sanchez, Matteo Slanina, Henny B. Sipma, and Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language , In Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731 of Lecture Notes in Computer Science, Springer-Verlag, pp 529-532. Abstract BiB PS PDF Long version: PS PDF
- Cesar Sanchez, Henny B. Sipma, Matteo Slanina, and Zohar Manna: Final Semantics for Event-Pattern Reactive Programs, In Algebra and Coalgebra in Computer Science (CALCO'05), vol 3629 of Lecture Notes in Computer Science, Springer Verlag, pp 364-378. Abstract BiB PS PDF
- Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, and Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems, In Proc. of the 12th International Symposium of Temporal Representation and Reasoning (TIME 2005), pp. 166-174, IEEE Computer Society Press, 2005. Abstract BiB PS PDF
- Cesar Sanchez, Sriram Sankaranarayanan, Henny B. Sipma, Ting Zhang, David Dill, and Zohar Manna: Event Correlation: Language and Semantics, In Embedded Software (EMSOFT'03), vol 2855 of Lecture Notes in Computer Science, Springer Verlag, pp 323-339. Abstract BiB PS PDF
- Cesar Sanchez and Angel Alvarez: A lightweight asynchronous algorithm for causal delivery using extra message insertion, Short paper in DISC 2000, 14th International Symposium on DIStributed Computing, Toledo (Spain), October 2000. Abstract BiB PS PDF
Research experience
From May 2007 until December 2007, I did a short post-doc with Luca de Alfaro at the University of California at Santa Cruz working on novel techniques to dynamically direct testing of embedded and real-time systems (the project is now called DIRECT ).
During my Ph.D I was a member of REACT, a research group led by professor Zohar Manna in the Computer Science Department at Stanford University. Zohar was also my Ph.D. advisor.
As a Ph.D. student I worked as a Research Assistant in the following projects:
- 2004-2007: Foundations of Event Correlation. NSF program Foundations of Computing Processes and Artifacts.
- 2001-2004: Automating the Development and Analysis of Embedded Systems. DARPA program: Constraint-Based Embedded System Composition (PCES).
Current and some former members of REACT:
- Henny B. Sipma, Ph.D., Research Associate,
- Michael Colon, Ph.D.,
- Bernd Finkbeiner , Ph.D.,
- Matteo Slanina , Ph.D.,
- Calogero G. Zarba , Ph.D.,
- Sriram Sankaranarayanan , Ph.D.,
- Ting Zhang , Ph.D.,
- Aaron R. Bradley , Ph.D.,
Teaching
Classes Taught
- Stanford, Spring 2003. CS157: "Logic and Automated Reasoning".
Teaching Assistant
- Stanford, Fall 2001. CS157: "Logic and Automated Reasoning". Prof: Zohar Manna
- Stanford, Winter 2003. CS256: "Verification of Reactive Systems". Instructor: Matteo Slanina
- Stanford, Fall 2004. CS154: "Introduction to Automata and Complexity Theory". Prof: David Dill
Awards
2007: Juan de la Cierva Scholarship, awarded by the Spanish Ministry of Science and Education, partially funding 3 years as a young post-doctoral researcher.
2006: ACM SIGBED-SIGSOFT Frank Anger Memorial Student Award.
2000: Champion team of ACM International Programming Contest (Southwestern European region). 11th place in the World Finals.
1999: La Caixa Graduate Fellowship , from 1999 to 2001.
1998: Graduation with honors for the graduation thesis Communication with Causal Order in Asynchronous Distributed systems. Thesis advisor: Angel Alvarez .
1997: IEEE Award for Outstanding Leaderships and Service.
Biographical sketch
I am nowadays a tenure-track researcher (position title "Research Scientist") at the Madrid Institute for Advanced Studies in Software Development Technologies .
Between May 2007 and December 2007, I was a post-doctoral Scholar at the University of California at Santa Cruz, working with Luca de Alfaro.
In 2007 I received a Ph.D. in Computer Science from Stanford University. My dissertation can be access here:
Cesar Sanchez: Deadlock Avoidance for Distributed Real-Time and Embedded Systems, Ph.D. thesis, Stanford University, May 2007. Abstract BiB PS PDF
In the Summer of 2005 I worked as a research intern for Intel.
In 2001 I received a Masters in Computer Science from Stanford University, specializing in Software Theory and Theoretical Computer Science.
Between 1997 and 1999 I worked for Lucent Technologies (Development Center in Madrid), and the School of Computer Science of UPM, and the department of Mathematics of UPM.
I received a degree in "Ingeniería de Telecomunicación"(6 years degree, BS + MSEE) from the Technical University of Madrid (UPM) in 1998. My graduation thesis Communication with Causal Order in Asynchronous Distributed Systems was awarded with "graduation with honors".
I am member of ACM, IEEE, the Computer Society of IEEE, and Mensa.
Personal
The correct spelling of my name is César Sánchez (but feel free to use Cesar Sanchez). Ting Zhang wrote a Chinese transliteration of my name (卡萨.桑切斯)
Bernhard Egger wrote a transliteration of my name (쎄사르 산체스) to Korean. Bernhard and I are the co-winners of the 2006 ACM SIGBED-SIGSOFT Frank Anger Student Memorial Award. I am married to Maria Teresa Madrid (마리아 테테사 마드릿), and we have three children: Martín (말틴) Emma (엠마) and Irene. We like spending time with friends, traveling, cooking, reading and playing board games. I have also started running recently, but I do not considered myself (yet) a "serious" runner.Last modified Wednesday, 27-Feb-2008 10:30:36 PST