Summer School on Program Synthesis

Schloss Dagstuhl, Germany
2011 unpublished
and bio, slides. Basics about games Program synthesis and repair using games Recent synthesis algorithms and quantitative synthesis SAT and SMT for Synthesis Vijay Ganesh, MIT Abstract and bio. Slides for lecture 1 and lecture 2. Standard-issue SAT solver DPLL(T) and overview of SMT solvers and theories Lazy/eager encodings for SMT theories 2011 Dagstuhl Summer School on Program Synthesis