Program Synthesis

Content

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.

Prerequesites

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.

Schedule

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).