Program Synthesis - Cancelled
|IN0014, IN2107, IN4922
The seminar is cancelled for Summer Semester 2021.
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.
To give you an idea of what kind of papers will be discussed, here are some examples:
- SQLizer: Query Synthesis from Natural Language Nadiv Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig, OOPSLA'17
- Perfect is the Enemy of Good: Best-Effort Program Synthesis Hila Peleg, Nadia Polikarpova, ECOOP'20
- Semantics-Guided Synthesis Jinwoo Kim, Qinheping Hu, Loris D'Antoni, and Thomas Reps, POPL'21
Language: good written English
Study course: Master student in CS, advanced Bachelor student (at least in 5th semester, Informatic)
Helpful preexisting knowledge includes:
- Verification, logic, semantics, any formal methods class
- Programming languages principles (type systems, grammars, etc.)
- Compiler design principles
- Static analysis and abstract interpretation