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