Syntax-Guided Synthesis
- Rajeev Alur
- , Rastislav Bodik
- , Eric Dallal
- , Dana Fisman
- , Pranav Garg
- , Garvit Juniwal
- , Hadas Kress-Gazit
- , P. Madhusudan
- , Milo M. K. Martin
- , Mukund Raghothaman
- , Shamwaditya Saha
- , Sanjit A. Seshia
- , Rishabh Singh
- , Armando Solar-Lezama
- , Emina Torlak
- , Abhishek Udupa
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review