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
SWS 2
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 (chengch@in.tum.de) for details

News

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

Description

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.

Grading

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

Registration

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

Material

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