|TA||Anastasiia Izycheva, Raphaela Palenta|
|Module||IN0014, IN2107, IN4922|
The seminar group is full, we no longer accept registrations.
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.
All students are expected to be present during all sessions and read all papers.
Your final grade will be based on your activity during discussion sessions (20%), paper presentation (40%) and final report (40%). You have 20-25 minutes for the paper presentation.
30.04.2019 (Enumerative synthesis)
moderators: Wilzbach, Nassif
14.05.2019 (Programming by example)
Backs: FrAngel: Component-Based Synthesis with Control Structures
Werner: Robust Relational Layout Synthesis from Examples for Android
moderators: Raya, Tellenbach
28.05.2019 (Machine-learned strategies)
Budanaz: Program Synthesis using Conflict-Driven Learning
Griebel: Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
moderators: Yakymets, Kameter
18.06.2019 (Type-based synthesis)
Gottfriedsen:Program Synthesis from Polymorphic Refinement Types
Heinzelmann: Type-and-example-directed program synthesis
moderators: Backs, Werner
25.06.2019 (Counter-example guided synthesis)
Tellenbach: Counterexample Guided Inductive Synthesis Modulo Theories
Raya: Program sketching
moderators: Griebel, Budanaz
Kameter: Minimal Synthesis of String To String Functions From Examples
Yakymets: Compositional Program Synthesis from Natural Language and Examples
moderators: Gottfriedsen, Heinzelmann
23.07.2019 (Database algorithms)
Wilzbach: SQLizer: Query Synthesis from Natural Language
Nassif: Synthesizing highly expressive SQL queries from input-output examples
moderator: Lundholm, Kübrich
Slides from the introductory meeting are here