Rajeev Alur
Rastislav Bodík
Garvit Juniwal
Milo M. K. Martin
Mukund Raghothaman
Sanjit A. Seshia
Rishabh Singh
Armando Solar-Lezama
Emina Torlak
Abhishek Udupa
2013
Syntax-guided synthesis
Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013
1–8
Rajeev Alur
Pavol Cerný
Arjun Radhakrishna
2015
Synthesis Through Unification
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
163–179
10.1007/978-3-319-21668-3_10
Rajeev Alur
Dana Fisman
Rishabh Singh
Armando Solar-Lezama
2015
Results and Analysis of SyGuS-Comp'15
SYNT
EPTCS
3–26
10.4204/EPTCS.202.3
Rajeev Alur
Arjun Radhakrishna
Abhishek Udupa
2017
Scaling Enumerative Program Synthesis via Divide and Conquer
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
319–336
10.1007/978-3-662-54577-5_18
Clark Barrett
Aaron Stump
Cesare Tinelli
The SMT-LIB Standard – Version 2.0
Hassan Eldib
Meng Wu
Chao Wang
2016
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
343–363
10.1007/978-3-319-41540-6_19
Pranav Garg
Daniel Neider
P. Madhusudan
Dan Roth
2016
Learning invariants using decision trees and implication counterexamples
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
499–512
10.1145/2837614.2837664
Xuan-Bach D. Le
Duc-Hiep Chu
David Lo
Claire Le Goues
Willem Visser
2017
S3: syntax- and semantic-guided repair synthesis via programming by examples
FSE
593–604
10.1145/3106237.3106309
Daniel Neider
P. Madhusudan
Pranav Garg
2015
ICE DT: Learning Invariants using Decision Trees and Implication Counterexamples
Private Communication
Saswat Padhi
Todd D. Millstein
2017
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis
CoRR
abs/1707.02029
http://arxiv.org/abs/1707.02029
Saswat Padhi
Rahul Sharma
Todd D. Millstein
2016
Data-driven precondition inference with learned features
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016
42–56
10.1145/2908080.2908099
Mukund Raghothaman
Abhishek Udupa
2014
Language to Specify Syntax-Guided Synthesis Problems
CoRR
abs/1405.5590
Andrew Reynolds
Morgan Deters
Viktor Kuncak
Cesare Tinelli
Clark W. Barrett
2015
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
198–216
10.1007/978-3-319-21668-3_12
Andrew Reynolds
Cesare Tinelli
2017
SyGuS Techniques in the Core of an SMT Solver
To appear in this issue.
Aaron Stump
Geoff Sutcliffe
Cesare Tinelli
2014
StarExec: A Cross-Community Infrastructure for Logic Solving
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
367–373
10.1007/978-3-319-08587-6_28
Abhishek Udupa
Arun Raghavan
Jyotirmoy V. Deshmukh
Sela Mador-Haim
Milo M. K. Martin
Rajeev Alur
2013
TRANSIT: specifying protocols with concolic snippets
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013
287–296
10.1145/2462156.2462174