Technische Universität München Robotics and Embedded Systems

Computer Aided Synthesis - Theory and Practice

Organizer M.E. Chih-Hong Cheng
Module IN2107, IN8901
Type Master-level seminar
Semester SS 2011
ECTS 4.0
Language English
Preliminaries Basic knowledge in automata theory; a plus with the course "Automata and Formal Languages"
Time and place To be announced; please contact Chih-Hong Cheng ( for details


* Time and location of pre-departure meeting: 04.03.2011, 10:00-11:00, MI 03.07.037 (Research room of Chih-Hong Cheng)


In this seminar, the students will study a new & developing research field called synthesis, a methodology that generates / modifies the system to satisfy a given mathematical specification. In this seminar, the participated students will first receive a mini-block course to obtain basic knowledge on algorithmic game solving, which serves as the foundation for synthesis. Then the course proceeds with an application-driven approach: each student will be assigned with one or two papers (on top conferences like PLDI, POPL, CAV, TACAS, LICS, VMCAI, etc.) on various applications where synthesis techniques are applied.


The final grading will be based on (i) Talk with selected topics assigned (the talk will be partly graded by the student) (ii) 3~5 page (A4) summary over "other" students presentation (iii) Attendance rate


Please contact Chih-Hong Cheng by email if you want to register the course.


Preliminaries: A very short introduction on games for synthesis (If you want the material, please contact Chih-Hong Cheng)

* Patching Vulnerabilities with Sanitization Synthesis (Fang Yu, Muath Alkhalaf, and Tevfik Bultan), ICSE 2011 [ASSIGNED]

* Symbolic Bounded Synthesis (Rüdiger Ehlers), CAV 2010

* Measuring and Synthesizing Systems in Probabilistic Environments (Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann and Rohit Singh), CAV 2010 [ASSIGNED]

* Complete Functional Synthesis (Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter) PLDI 2010 [ASSIGNED]

* Synthesis of Live Behaviour Models for Fallible Domains (Nicolas D'Ippolito, Victor Braberman, Nir Piterman, and Sebastian Uchitel ), ICSE 2011

* Programming by Sketching for Bit-Streaming Programs (Armando Solar-Lezama, Rodric Rabbah, Rastislav Bodik, Kemal Ebcio˘glu), PLDI 2007