| layout | title | description | nav_order | published |
|---|---|---|---|---|
page |
Readings |
EECS 700 class list of papers |
4 |
false |
- Dimensions in Program Synthesis, Sumit Gulwani, PPDP '10
- 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
The reading list comprises of papers cited in the lecture slides and in your reading assignments.