The idea that we could tell a computer what we want and it would automatically figure out how to achieve it has fascinated scientists for a long time, but it has also been an elusive goal. Via recent research papers in the area of program synthesis, this seminar will look at the significant steps which have been made towards this grand vision. We will discuss what is currently possible, for which application domains program synthesis is successful, what the main challenges are and what perhaps will never be feasible. The paper selection will cover the major synthesis techniques to provide an overview of the current landscape. The name 'synthesis' can mean many things, in particular there are two different areas whose goal is to generate programs. 'Functional synthesis' aims to synthesize programs whose inputs are finite, e.g. a sorting algorithm. Whereas the input of programs generated by 'reactive synthesis' are infinite streams, e.g. in embedded controllers. The approaches in these two domains are quite different, and in this seminar we will focus on functional synthesis.
Research Topics in Program Synthesis and Reliability (Seminar) (M, 4.0 LP)
|Module Number||Module Name||CP (Effort)|
|INF-88-74-M-7||Research Topics in Program Synthesis and Reliability (Seminar)||4.0 CP (120 h)|
|CP, Effort||4.0 CP = 120 h|
|Position of the semester||1 Sem. in SuSe|
|Level|| Master (Advanced)|
|Area of study||[INF-MPI] Max-Planck-Institute|
|Reference course of study||[INF-88.79-SG] M.Sc. Computer Science|
Additionally, homework and in-class or take-home exams may be given.
|Type/SWS||Course Number||Title||Choice in |
|SL||SL is |
required for exa.
Research Topics in Program Synthesis and Reliability (Seminar)
|P||28 h||92 h||
Evaluation of grades
The module is not graded (only study achievements)..
Competencies / intended learning achievements
- Ability to familiarize with a special topic in the field of functional program synthesis (original literature, journals)
- Ability to present a specific topic in a comprehensible way using electronic media
- Ability for technical discussion
Will be announced in the preliminary meeting.
Requirements for attendance of the module (informal)
Target audience: final-year Bachelor or Master students