@misc(icfp,
 author       = {Takuya Akiba and Kentaro Imajo and Hiroaki Iwami and Yoichi Iwata and Toshiki Kataoka and Naohiro Takahashi and Michał Moskal and Nikhil Swamy},
 year         = {2014},
 title        = {Calibrating Research in Program Synthesis Using 72,000 Hours of Programmer Time},
)
@incollection(AlurBDF0JKMMRSSSSTU15,
 author       = {Rajeev Alur and Bod{\'{\i}}k, Rastislav and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Kress{-}Gazit, Hadas and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shambwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Solar{-}Lezama, Armando and Emina Torlak and Abhishek Udupa},
 year         = {2015},
 title        = {Syntax-Guided Synthesis},
 booktitle    = {Dependable Software Systems Engineering},
 publisher    = {{IOS} Press},
 pages        = {1--25},
 doi          = {10.3233/978-1-61499-495-4-1},
)
@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},
)
@misc(SyGuS15format,
 author       = {Rajeev Alur and Dana Fisman and P. Madhusudan and Rishabh Singh and Solar-Lezama, Armando},
 title        = {SyGuS Syntax for SyGuS-COMP’15},
)
@misc(SyGuS16format,
 author       = {Rajeev Alur and Dana Fisman and Rishabh Singh and Solar-Lezama, Armando},
 title        = {SyGuS Syntax for SyGuS-COMP’16},
)
@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(CN16,
 author       = {Sarah Chasins and Julie Newcomb},
 year         = {2016},
 title        = {Using SyGuS to Synthesize Reactive Motion Plans},
 booktitle    = {5th Workshop on Synthesis, {SYNT} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
)
@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(types2,
 author       = {John K. Feser and Swarat Chaudhuri and Isil Dillig},
 year         = {2015},
 title        = {Synthesizing data structure transformations from input-output examples},
 booktitle    = {PLDI},
 pages        = {229--239},
 doi          = {10.1145/2737924.2737977},
)
@inproceedings(GLMN14,
 author       = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
 year         = {2014},
 title        = {{ICE:} {A} Robust Framework for Learning Invariants},
 booktitle    = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings},
 pages        = {69--87},
 doi          = {10.1007/978-3-319-08867-9_5},
)
@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(flashfill,
 author       = {Sumit Gulwani},
 year         = {2011},
 title        = {Automating string processing in spreadsheets using input-output examples},
 booktitle    = {POPL},
 pages        = {317--330},
)
@article(cacm12,
 author       = {Sumit Gulwani and William R. Harris and Rishabh Singh},
 year         = {2012},
 title        = {Spreadsheet data manipulation using examples},
 journal      = {Commun. {ACM}},
 volume       = {55},
 number       = {8},
 pages        = {97--105},
 doi          = {10.1145/2240236.2240260},
)
@inproceedings(JeonQSF15,
 author       = {Jinseong Jeon and Xiaokang Qiu and Solar{-}Lezama, Armando and Jeffrey S. Foster},
 year         = {2015},
 title        = {Adaptive Concretization for Parallel Program Synthesis},
 booktitle    = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}},
 pages        = {377--394},
 doi          = {10.1007/978-3-319-21668-3_22},
)
@inproceedings(Jha2010,
 author       = {Susmit Jha and Sumit Gulwani and Sanjit A. Seshia and Ashish Tiwari},
 year         = {2010},
 title        = {Oracle-guided Component-based Program Synthesis},
 booktitle    = {Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1},
 series       = {ICSE '10},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {215--224},
 doi          = {10.1145/1806799.1806833},
)
@inproceedings(parsersynthesis,
 author       = {Alan Leung and John Sarracino and Sorin Lerner},
 year         = {2015},
 title        = {Interactive parser synthesis by example},
 booktitle    = {PLDI},
 pages        = {565--574},
 doi          = {10.1145/2737924.2738002},
)
@inproceedings(AleksICSE15,
 author       = {Aleksandar Milicevic and Joseph P. Near and Eunsuk Kang and Daniel Jackson},
 year         = {2015},
 title        = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver},
 booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
 pages        = {609--619},
 doi          = {10.1109/ICSE.2015.77},
)
@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},
)
@misc(AlchemistCS,
 author       = {Daniel Neider and Shambwaditya Saha and P. Madhusudan},
 year         = {2015},
 title        = {Alchemist CS: An SMT-based synthesizer for Functions in Linear Integer Arithmetic},
 note         = {Private Communication},
)
@inproceedings(types1,
 author       = {Peter{-}Michael Osera and Steve Zdancewic},
 year         = {2015},
 title        = {Type-and-example-directed program synthesis},
 booktitle    = {PLDI},
 pages        = {619--630},
 doi          = {10.1145/2737924.2738007},
)
@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(refactoring,
 author       = {Veselin Raychev and Max Sch{\"{a}}fer and Manu Sridharan and Martin T. Vechev},
 year         = {2013},
 title        = {Refactoring with synthesis},
 booktitle    = {OOPSLA},
 pages        = {339--354},
 doi          = {10.1145/2509136.2509544},
)
@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(SosyToast,
 author       = {Heinz Riener and Rudiger Ehlers},
 year         = {2015},
 title        = {absTract sOlution Analyzing Synthesis Tool (System Description)},
 note         = {Private Communication},
)
@inproceedings(Saha0M15,
 author       = {Shambwaditya Saha and Pranav Garg and P. Madhusudan},
 year         = {2015},
 title        = {Alchemist: Learning Guarded Affine Functions},
 booktitle    = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}},
 pages        = {440--446},
 doi          = {10.1007/978-3-319-21690-4_26},
)
@misc(AlchemistCSDT,
 author       = {Shambwaditya Saha and Daniel Neider and P. Madhusudan},
 year         = {2015},
 title        = {Alchemist CS DT: Synthesizing Guarded Affine Functions using Constraint Solving and Decision-tree Learning},
 note         = {Private Communication},
)
@article(blinkfill,
 author       = {Rishabh Singh},
 year         = {2016},
 title        = {BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations},
 journal      = {{PVLDB}},
 volume       = {9},
 number       = {10},
 pages        = {816--827},
)
@inproceedings(storyboard1,
 author       = {Rishabh Singh and Solar{-}Lezama, Armando},
 year         = {2011},
 title        = {Synthesizing data structure manipulations from storyboards},
 booktitle    = {FSE},
 pages        = {289--299},
 doi          = {10.1145/2025113.2025153},
)
@inproceedings(storyboard2,
 author       = {Rishabh Singh and Solar{-}Lezama, Armando},
 year         = {2012},
 title        = {{SPT:} Storyboard Programming Tool},
 booktitle    = {CAV},
 pages        = {738--743},
 doi          = {10.1007/978-3-642-31424-7_58},
)
@inproceedings(Solar-LezamaRBE05,
 author       = {Solar{-}Lezama, Armando and Rodric M. Rabbah and Bod{\'{\i}}k, Rastislav and Kemal Ebcioglu},
 year         = {2005},
 title        = {Programming by sketching for bit-streaming programs},
 booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005},
 pages        = {281--294},
 doi          = {10.1145/1065010.1065045},
)
@inproceedings(solar2006combinatorial,
 author       = {Solar{-}Lezama, Armando and Liviu Tancau and Bod{\'{\i}}k, Rastislav and Sanjit A. Seshia and Vijay A. Saraswat},
 year         = {2006},
 title        = {Combinatorial sketching for finite programs},
 booktitle    = {Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2006, San Jose, CA, USA, October 21-25, 2006},
 pages        = {404--415},
 doi          = {10.1145/1168857.1168907},
)
@inproceedings(SrivPts,
 author       = {Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster},
 year         = {2010},
 title        = {From program verification to program synthesis},
 booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23, 2010},
 pages        = {313--326},
 doi          = {10.1145/1706299.1706337},
)
@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(TorlakB14,
 author       = {Emina Torlak and Bod\'{\i}k, Rastislav},
 year         = {2014},
 title        = {A lightweight symbolic virtual machine for solver-aided host languages},
 booktitle    = {PLDI},
 pages        = {54},
 doi          = {10.1145/2594291.2594340},
)