Reading List

Week 1

1. Dimensions in Program Synthesis, Sumit Gulwani, PPDP ‘10
2. Syntax-Guided Synthesis, Alur and Bodik and Juniwal and Martin and Raghothaman and Seshia and Singh and Solar-Lezama and Torlak and Udupa, FMCAD ‘13

Weeks 2-16

The reading list comprises of papers cited in the lecture slides and in your reading assignments.