Research Topics in Program Synthesis and Reliability (Seminar) (2S, 4.0 LP)
|SWS||Type||Course Form||CP (Effort)||Presence-Time / Self-Study|
|-||K||4.0 CP||92 h|
|(2S)||4.0 CP||28 h||92 h|
|CP, Effort||4.0 CP = 120 h|
|Position of the semester||1 Sem. irreg.|
|Level|| Master (Advanced)|
|Area of study||[INF-MPI] Max-Planck-Institute|
Additionally, homework and in-class or take-home exams may be given.
Possible Study achievement
- Verification of study performance: written elaboration and presentation
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.
Will be announced in the preliminary meeting.
Requirements for attendance (informal)None
Requirements for attendance (formal)None
References to Course [INF-88-74-K-7]
|[INF-88-74-M-7]||Research Topics in Program Synthesis and Reliability (Seminar)||P: Obligatory||2S, 4.0 LP|