@inproceedings(AlbarghouthiGulwaniKincaid13RecursiveProgramSynthesis,
 author       = {Aws Albarghouthi and Sumit Gulwani and Zachary Kincaid},
 year         = {2013},
 title        = {Recursive Program Synthesis},
 editor       = {Natasha Sharygina and Helmut Veith},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {934--950},
 doi          = {10.1007/978-3-642-39799-8\@uscore .67},
)
@inproceedings(AlurETAL13SyntaxguidedSynthesis,
 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    = {FMCAD},
 publisher    = {{IEEE}},
 pages        = {1--8},
 doi          = {10.3233/978-1-61499-495-4-1},
)
@inproceedings(BornholtETAL16OptimizingSynthesisMetasketches,
 author       = {James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze},
 year         = {2016},
 title        = {Optimizing synthesis with metasketches},
 editor       = {Bod{\'{\i}}k, Rastislav and Rupak Majumdar},
 booktitle    = {POPL},
 publisher    = {{ACM}},
 pages        = {775--788},
 doi          = {10.1145/2837614.2837666},
)
@inproceedings(DetersETAL14TourCvc4HowItWorksHow,
 author       = {Morgan Deters and Andrew Reynolds and Tim King and Clark W. Barrett and Cesare Tinelli},
 year         = {2014},
 title        = {A tour of {CVC4:} How it works, and how to use it},
 booktitle    = {FMCAD},
 publisher    = {{IEEE}},
 pages        = {7},
 doi          = {10.1109/FMCAD.2014.6987586},
)
@book(Flener95LogicProgramSynthesisIncompleteInformation,
 author       = {Pierre Flener},
 year         = {1995},
 title        = {Logic Program Synthesis from Incomplete Information},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4615-2205-8},
)
@inproceedings(FrankleETAL16ExampledirectedSynthesisTypetheoreticInterpretation,
 author       = {Jonathan Frankle and Peter{-}Michael Osera and David Walker and Steve Zdancewic},
 year         = {2016},
 title        = {Example-directed synthesis: a type-theoretic interpretation},
 editor       = {Bod{\'{\i}}k, Rastislav and Rupak Majumdar},
 booktitle    = {POPL},
 publisher    = {{ACM}},
 pages        = {802--815},
 doi          = {10.1145/2837614.2837629},
)
@inproceedings(GveroKuncak15SynthesizingJavaExpressionsFromFreeformQueries,
 author       = {Tihomir Gvero and Viktor Kuncak},
 year         = {2015},
 title        = {Synthesizing Java expressions from free-form queries},
 editor       = {Jonathan Aldrich and Patrick Eugster},
 booktitle    = {OOPSLA},
 publisher    = {{ACM}},
 pages        = {416--432},
 doi          = {10.1145/2814270.2814295},
)
@inproceedings(GveroETAL13CompleteCompletionUsingTypesWeights,
 author       = {Tihomir Gvero and Viktor Kuncak and Ivan Kuraj and Ruzica Piskac},
 year         = {2013},
 title        = {Complete completion using types and weights},
 editor       = {Hans{-}Juergen Boehm and Cormac Flanagan},
 booktitle    = {PLDI},
 publisher    = {{ACM}},
 pages        = {27--38},
 doi          = {10.1145/2462156.2462192},
)
@inproceedings(DBLP:conf/cav/GveroKP11,
 author       = {Tihomir Gvero and Viktor Kuncak and Ruzica Piskac},
 year         = {2011},
 title        = {Interactive Synthesis of Code Snippets},
 booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
 pages        = {418--423},
 doi          = {10.1007/978-3-642-22110-1\@uscore .33},
)
@article(DBLP:journals/corr/InalaQLS15,
 author       = {Jeevana Priya Inala and Xiaokang Qiu and Ben Lerner and Solar{-}Lezama, Armando},
 year         = {2015},
 title        = {Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types},
 journal      = {CoRR},
 volume       = {abs/1507.05527},
 url          = {http://arxiv.org/abs/1507.05527},
)
@phdthesis(Kneuss-Thesis,
 author       = {Etienne Kneuss},
 year         = {2016},
 title        = {Deductive Synthesis and Repair},
 school       = {EPFL},
 doi          = {10.5075/epfl-thesis-6878},
)
@inproceedings(KneussKoukoutosKuncak15DeductiveProgramRepair,
 author       = {Etienne Kneuss and Manos Koukoutos and Viktor Kuncak},
 year         = {2015},
 title        = {Deductive Program Repair},
 editor       = {Daniel Kroening and Corina S. Pasareanu},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {9207},
 publisher    = {Springer},
 pages        = {217--233},
 doi          = {10.1007/978-3-319-21668-3\@uscore .13},
)
@inproceedings(KneussETAL13SynthesisModuloRecursiveFunctions,
 author       = {Etienne Kneuss and Ivan Kuraj and Viktor Kuncak and Philippe Suter},
 year         = {2013},
 title        = {Synthesis modulo recursive functions},
 editor       = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes},
 booktitle    = {OOPSLA},
 publisher    = {ACM},
 pages        = {407--426},
 doi          = {10.1145/2509136.2509555},
)
@article(DBLP:journals/toplas/MannaW80,
 author       = {Zohar Manna and Richard J. Waldinger},
 year         = {1980},
 title        = {A Deductive Approach to Program Synthesis},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {2},
 number       = {1},
 pages        = {90--121},
 doi          = {10.1145/357084.357090},
)
@inproceedings(MouraBjoerner08Z3EfficientSmtSolver,
 author       = {Leonardo Mendon{\c{c}}a de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {{Z3:} An Efficient {SMT} Solver},
 editor       = {C. R. Ramakrishnan and Jakob Rehof},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\@uscore .24},
)
@inproceedings(PeiETAL15AutomatedProgramRepairIntegratedDevelopmentEnvironment,
 author       = {Yu Pei and Carlo A. Furia and Mart{\'{\i}}n Nordio and Bertrand Meyer},
 year         = {2015},
 title        = {Automated Program Repair in an Integrated Development Environment},
 editor       = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum},
 booktitle    = {ICSE},
 publisher    = {{IEEE} Computer Society},
 pages        = {681--684},
 doi          = {10.1109/ICSE.2015.222},
)
@inproceedings(DBLP:conf/pldi/PerelmanGBG12,
 author       = {Daniel Perelman and Sumit Gulwani and Thomas Ball and Dan Grossman},
 year         = {2012},
 title        = {Type-directed completion of partial expressions},
 booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI}},
 pages        = {275--286},
 doi          = {10.1145/2254064.2254098},
)
@inproceedings(PerelmanETAL14TestdrivenSynthesis,
 author       = {Daniel Perelman and Sumit Gulwani and Dan Grossman and Peter Provost},
 year         = {2014},
 title        = {Test-driven synthesis},
 editor       = {Michael F. P. O'Boyle and Keshav Pingali},
 booktitle    = {PLDI},
 publisher    = {{ACM}},
 pages        = {43},
 doi          = {10.1145/2594291.2594297},
)
@inproceedings(DBLP:conf/pldi/PolikarpovaKS16,
 author       = {Nadia Polikarpova and Ivan Kuraj and Solar{-}Lezama, Armando},
 year         = {2016},
 title        = {Program synthesis from polymorphic refinement types},
 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        = {522--538},
 doi          = {10.1145/2908080.2908093},
)
@inproceedings(PolozovGulwani15FlashmetaFrameworkInductiveProgramSynthesis,
 author       = {Oleksandr Polozov and Sumit Gulwani},
 year         = {2015},
 title        = {FlashMeta: a framework for inductive program synthesis},
 editor       = {Jonathan Aldrich and Patrick Eugster},
 booktitle    = {OOPSLA},
 publisher    = {{ACM}},
 pages        = {107--126},
 doi          = {10.1145/2814270.2814310},
)
@inproceedings(ReinkingPiskac15TypedirectedApproachToProgramRepair,
 author       = {Alex Reinking and Ruzica Piskac},
 year         = {2015},
 title        = {A Type-Directed Approach to Program Repair},
 editor       = {Daniel Kroening and Corina S. Pasareanu},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {9206},
 publisher    = {Springer},
 pages        = {511--517},
 doi          = {10.1007/978-3-319-21690-4\@uscore .35},
)
@inproceedings(liquid,
 author       = {Patrick M. Rondon and Ming Kawaguci and Ranjit Jhala},
 year         = {2008},
 title        = {Liquid Types},
 booktitle    = {Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series       = {PLDI '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {159--169},
 doi          = {10.1145/1375581.1375602},
)
@inproceedings(sketch,
 author       = {Solar-Lezama, Armando and Liviu Tancau and Rastislav Bodik and Sanjit Seshia and Vijay 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},
 series       = {ASPLOS XII},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {404--415},
 doi          = {10.1145/1168857.1168907},
)
@phdthesis(suter-thesis,
 author       = {Philippe Suter},
 year         = {2012},
 title        = {Programming with Specifications},
 school       = {EPFL},
 doi          = {10.5075/epfl-thesis-5581},
)
@inproceedings(SuterKoeksalKuncak11SatisfiabilityModuloRecursivePrograms,
 author       = {Philippe Suter and Ali Sinan K{\"o}ksal and Viktor Kuncak},
 year         = {2011},
 title        = {Satisfiability Modulo Recursive Programs},
 editor       = {Eran Yahav},
 booktitle    = {SAS},
 series       = {LNCS},
 volume       = {6887},
 publisher    = {Springer},
 pages        = {298--315},
 doi          = {10.1007/978-3-642-23702-7\@uscore .23},
)
@inproceedings(DBLP:conf/pldi/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}},
 pages        = {287--296},
 doi          = {10.1145/2462156.2462174},
)
@inproceedings(wei2010automated,
 author       = {Yi Wei and Yu Pei and Carlo A Furia and Lucas S Silva and Stefan Buchholz and Bertrand Meyer and Andreas Zeller},
 year         = {2010},
 title        = {Automated fixing of programs with contracts},
 booktitle    = {Proceedings of the 19th international symposium on Software testing and analysis},
 organization = {ACM},
 pages        = {61--72},
 doi          = {10.1145/1831708.1831716},
)