Related Publications

• Search-Based Program Synthesis
  Rajeev Alur, Rishabh Singh, Dana Fisman and Armando Solar-Lezama
  In Communications of the ACM, Volume 61 Issue 12, 2018.

• SyGuS-Comp’17: Results and Analysis
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  In Proceedings 4th Workshop on Synthesis (SYNT@CAV), 2017.

• SyGuS-Comp’16: Results and Analysis
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  In Proceedings 4th Workshop on Synthesis (SYNT@CAV), 2016.

• Results and Analysis of SyGuS-Comp’15
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  In Proceedings 4th Workshop on Synthesis (SYNT@CAV), 2015.

• Syntax-Guided Synthesis (journal version incorporating SyGuS-Comp’14 results)
  Rajeev Alur, Ratislav 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 and Abhishek Udupa
  In Dependable Software Systems Engineering, NATO Science for Peace and Security Series.

• Syntax-Guided Synthesis
  Rajeev Alur, Ratislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak and Abhishek Udupa
  In the 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013.

[ See slides and video of a one-hour talk by Rajeev Alur in ExCAPE’s webinar. ]