Program Synthesis

Dozent Anastasiia Izycheva, Raphaela Löbel
Ort 02.07.034
Zeit March 30 - April 3, 9:00-11:30
Module IN0012, IN2106, IN4239


During the seminar we will touch the surface of the current research on program synthesis. We will see several applications and learn about techniques used to generate code automatically.

The seminar is intended for Master students, but advanced Bachelor students are welcome as well.

To get an access to papers in DL ACM and Springer you need to set up proxy.


Language: good written English

There are no formal prerequisites, but the words "formal methods", "verification", "search space" etc. should not scare you but rather inspire :)

Prior experience with program analysis, verification or automated reasoning is helpful.


The pre-course meeting took place on February 5th, 15:00h in MI HS 1. Slides are available here.

The course format will be a block seminar March 30 - April 3 (before the lecture period starts).