Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-88-74-K-7

Research Topics in Program Synthesis and Reliability (Seminar) (2S, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K 4.0 CP 92 h
2 S Seminar 28 h
(2S) 4.0 CP 28 h 92 h

Basedata

SWS 2S
CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [7] Master (Advanced)
Language [EN] English
Lecturers
Area of study [INF-MPI] Max-Planck-Institute
Livecycle-State [NORM] Active

Notice

Additionally, homework and in-class or take-home exams may be given.

Possible Study achievement

  • Verification of study performance: written elaboration and presentation

Contents

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.

Literature

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]

Module Name Context
[INF-88-74-M-7] Research Topics in Program Synthesis and Reliability (Seminar) P: Obligatory 2S, 4.0 LP