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.
In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013,
pp. 1–8.
Rajeev Alur, Pavol Cerný & Arjun Radhakrishna (2015):
Synthesis Through Unification.
In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II,
pp. 163–179,
doi: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.
In: SYNT.
EPTCS,
pp. 3–26,
doi:10.4204/EPTCS.202.3.
Rajeev Alur, Arjun Radhakrishna & Abhishek Udupa (2017):
Scaling Enumerative Program Synthesis via Divide and Conquer.
In: 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,
pp. 319–336,
doi: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.
In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
pp. 343–363,
doi: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.
In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016,
pp. 499–512,
doi: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.
In: FSE,
pp. 593–604,
doi: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.
Available at http://arxiv.org/abs/1707.02029.
Saswat Padhi, Rahul Sharma & Todd D. Millstein (2016):
Data-driven precondition inference with learned features.
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016,
pp. 42–56,
doi: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.
In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II,
pp. 198–216,
doi: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.
In: 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,
pp. 367–373,
doi: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.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013,
pp. 287–296,
doi:10.1145/2462156.2462174.