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 proceedingChapterpeer-review

Fingerprint

Dive into the research topics of 'Syntax-Guided Synthesis'. Together they form a unique fingerprint.

Keyphrases

Computer Science