1. Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In Formal Methods in Computer-Aided Design (FMCAD ’13). Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In Formal Methods in Computer-Aided Design (FMCAD ’13).
2. Rajeev Alur , Arjun Radhakrishna , and Abhishek Udupa . 2017. Scaling Enumerative Program Synthesis via Divide and Conquer . In Tools and Algorithms for the Construction and Analysis of Systems , Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 319–336. isbn:978-3-662-54577-5 Rajeev Alur, Arjun Radhakrishna, and Abhishek Udupa. 2017. Scaling Enumerative Program Synthesis via Divide and Conquer. In Tools and Algorithms for the Construction and Analysis of Systems, Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 319–336. isbn:978-3-662-54577-5
3. Just-in-time learning for bottom-up enumerative synthesis
4. Clark W. Barrett Aaron Stump and Cesare Tinelli. 2010. The SMT-LIB Standard Version 2.0. Clark W. Barrett Aaron Stump and Cesare Tinelli. 2010. The SMT-LIB Standard Version 2.0.
5. Tim Blazytko , Moritz Contag , Cornelius Aschermann , and Thorsten Holz . 2017 . Syntia: Synthesizing the Semantics of Obfuscated Code. In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC. 643–659. isbn:978-1-93 1971-40-9 https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/blazytko Tim Blazytko, Moritz Contag, Cornelius Aschermann, and Thorsten Holz. 2017. Syntia: Synthesizing the Semantics of Obfuscated Code. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC. 643–659. isbn:978-1-931971-40-9 https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/blazytko