@inproceedings(SyGuS13,
 author       = {R. {Alur} and R. {Bodik} and G. {Juniwal} and M. M. K. {Martin} and M. {Raghothaman} and S. A. {Seshia} and R. {Singh} and {Solar-Lezama}, A. and E. {Torlak} and A. {Udupa}},
 year         = {2013},
 title        = {Syntax-guided synthesis},
 booktitle    = {2013 Formal Methods in Computer-Aided Design},
 pages        = {1--8},
 doi          = {10.1109/FMCAD.2013.6679385},
)
@incollection(Barbosa17,
 author       = {Haniel Barbosa and Pascal Fontaine and Andrew Reynolds},
 year         = {2017},
 title        = {Congruence Closure with Free Variables},
 editor       = {Axel Legay and Tiziana Margaria},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {10206},
 publisher    = {{Springer}},
 address      = {Berlin, Heidelberg},
 pages        = {214--230},
 doi          = {10.1007/978-3-662-54580-5\_13},
)
@article(bcd,
 author       = {H. P. Barendregt and M. Coppo and Dezani-Ciancaglini, M.},
 year         = {1983},
 title        = {{A Filter Lambda Model and the Completeness of Type Assignment}},
 journal      = {Journal of Symbolic Logic},
 volume       = {48},
 number       = {4},
 pages        = {931--940},
 doi          = {10.2307/2273659},
)
@misc(SMTLIBInitiative,
 author       = {{Barrett, C., Fontaine, P., Tinelli, C.}},
 title        = {SMT-LIB~Logics},
 url          = {http://smtlib.cs.uiowa.edu/logics.shtml},
)
@article(Mixins,
 author       = {Jan Bessai and Tzu-Chun Chen and Andrej Dudenhefner and Boris D\"udder and Ugo de'Liguoro and Jakob Rehof},
 year         = {2018},
 title        = {{Mixin Composition Synthesis based on Intersection Types}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 14, Issue 1}},
 doi          = {10.23638/LMCS-14(1:18)2018},
)
@inproceedings(FeatureGrammars,
 author       = {Jan Bessai and Boris D{\"{u}}dder and George T. Heineman and Jakob Rehof},
 year         = {2015},
 title        = {{Combinatory Synthesis of Classes Using Feature Grammars}},
 booktitle    = {Revised selected papers of the 12th International Conference on Formal Aspects of Component Software},
 pages        = {123--140},
 doi          = {10.1007/978-3-319-28934-2_7},
)
@misc(combinatorsorg,
 author       = {Jan Bessai and Boris D\"udder and Geroge T. Heineman},
 year         = {2018},
 title        = {{(CL)S Framework}},
 url          = {http://www.combinators.org},
 note         = {Accessed: 2018-04-30},
)
@incollection(Bessai.2014,
 author       = {Jan Bessai and Andrej Dudenhefner and Boris D{\"u}dder and Moritz Martens and Jakob Rehof},
 year         = {2014},
 title        = {Combinatory Logic Synthesizer},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
 series       = {Lecture Notes in Computer Science},
 volume       = {8802},
 publisher    = {{Springer}},
 address      = {Berlin, Heidelberg},
 pages        = {26--40},
 doi          = {10.1007/978-3-662-45234-9\_3},
)
@inproceedings(DBLP:conf/isola/BessaiDDMR16,
 author       = {Jan Bessai and Andrej Dudenhefner and Boris D{\"{u}}dder and Moritz Martens and Jakob Rehof},
 year         = {2016},
 title        = {Combinatory Process Synthesis},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
 pages        = {266--281},
 doi          = {10.1007/978-3-319-47166-2_19},
)
@incollection(Bessai:19,
 author       = {Jan Bessai and Jakob Rehof and Boris D{\"u}dder},
 year         = {2019},
 title        = {Fast Verified BCD Subtyping},
 booktitle    = {Models, Mindsets, Meta: The What, the How, and the Why Not?},
 series       = {Lecture Notes in Computer Science},
 volume       = {11200},
 publisher    = {{Springer, Cham}},
 address      = {[S.l.]},
 pages        = {356--371},
 doi          = {10.1007/978-3-030-22348-9\_21},
)
@article(Bessai.2018,
 author       = {Jan Bessai and Anna Vasileva},
 year         = {2018},
 title        = {User Support for the Combinator Logic Synthesizer Framework},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {284},
 pages        = {16--25},
 doi          = {10.4204/EPTCS.284.2},
)
@book(brady2017type,
 author       = {Edwin Brady},
 year         = {2017},
 title        = {Type-driven development with Idris},
 publisher    = {{Manning Publications Co}},
 address      = {Shelter Island, NY},
)
@misc(tata,
 author       = {H. Comon and M. Dauchet and R. Gilleron and C. L\"oding and F. Jacquemard and D. Lugiez and S. Tison and M. Tommasi},
 year         = {2007},
 title        = {{Tree Automata Techniques and Applications}},
 howpublished = {Available online: \url{http://www.grappa.univ-lille3.fr/tata}},
 note         = {Release October, 12th 2007},
)
@inproceedings(DBLP:conf/csl/DudderMRU12,
 author       = {Boris D{\"{u}}dder and Moritz Martens and Jakob Rehof and Pawe{\l} Urzyczyn},
 year         = {2012},
 title        = {{Bounded Combinatory Logic}},
 editor       = {Patrick C{\'{e}}gielski and Arnaud Durand},
 booktitle    = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France},
 series       = {LIPIcs},
 volume       = {16},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {243--258},
 doi          = {10.4230/LIPIcs.CSL.2012.243},
)
@inproceedings(SPLC15,
 author       = {Boris D{\"{u}}dder and Jakob Rehof and George T. Heineman},
 year         = {2015},
 title        = {Synthesizing type-safe compositions in feature oriented software designs using staged composition},
 booktitle    = {Proceedings of the 19th International Conference on Software Product Lines},
 pages        = {398--401},
 doi          = {10.1145/2791060.2793677},
)
@inproceedings(Zdancewic16,
 author       = {Jonathan Frankle and Peter-Michael Osera and David Walker and Steve Zdancewic},
 year         = {2016},
 title        = {Example-directed Synthesis: A Type-theoretic Interpretation},
 booktitle    = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {802--815},
 doi          = {10.1145/2837614.2837629},
)
@article(GHS12,
 author       = {Sumit Gulwani and William R. Harris and Rishabh Singh},
 year         = {2012},
 title        = {Spreadsheet data manipulation using examples},
 journal      = {Communications of the ACM},
 volume       = {55},
 number       = {8},
 pages        = {97--105},
 doi          = {10.1145/2240236.2240260},
)
@inproceedings(Gulwani11,
 author       = {Sumit Gulwani and Susmit Jha and Ashish Tiwari and Ramarathnam Venkatesan},
 year         = {2011},
 title        = {{Synthesis of Loop-free Programs}},
 booktitle    = {Proceedings of PLDI'11},
 publisher    = {ACM},
 pages        = {62},
 doi          = {10.1145/1993498.1993506},
)
@article(GPS17,
 author       = {Sumit Gulwani and Oleksandr Polozov and Rishabh Singh},
 year         = {2017},
 title        = {Program Synthesis},
 journal      = {Foundations and Trends{\text{$\mathsurround\z@ \mathchar"672$}} in Programming Languages},
 volume       = {4},
 number       = {1-2},
 pages        = {1--119},
 doi          = {10.1561/2500000010},
)
@inproceedings(GKKP13,
 author       = {Tihomir Gvero and Viktor Kuncak and Ivan Kuraj and Ruzica Piskac},
 year         = {2013},
 title        = {Complete Completion Using Types and Weights},
 booktitle    = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series       = {PLDI '13},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {27--38},
 doi          = {10.1145/2491956.2462192},
)
@inproceedings(DBLP:conf/isola/HeinemanBDR16,
 author       = {George T. Heineman and Jan Bessai and Boris D{\"{u}}dder and Jakob Rehof},
 year         = {2016},
 title        = {A Long and Winding Road Towards Modular Synthesis},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
 pages        = {303--317},
 doi          = {10.1007/978-3-319-47166-2_21},
)
@inproceedings(JGST10,
 author       = {Susmit Jha and Sumit Gulwani and Sanjit A. Seshia and Ashish Tiwari},
 year         = {2010},
 title        = {Oracle-guided component-based program synthesis},
 editor       = {Jeff Kramer and Judith Bishop and Prem Devanbu and Sebastian Uchitel},
 booktitle    = {ACM/IEEE 32nd International Conference on Software Engineering, 2010},
 publisher    = {IEEE},
 address      = {NJ, USA},
 pages        = {215},
 doi          = {10.1145/1806799.1806833},
)
@inproceedings(Laurent:18,
 author       = {Olivier Laurent},
 year         = {2018},
 title        = {Intersection Subtyping with Constructors},
 editor       = {Michele Pagani and Sandra Alves},
 booktitle    = {Proceedings DCM 2018 and ITRS 2018},
 series       = {{EPTCS}},
 volume       = {293},
 address      = {Oxford, UK},
 pages        = {73--84},
 doi          = {10.4204/EPTCS.293.6},
)
@incollection(de2008z3,
 author       = {Leonardo de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An Efficient SMT Solver},
 editor       = {C. R. Ramakrishnan and Jakob Rehof},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {4963},
 publisher    = {{Springer}},
 address      = {Berlin, Heidelberg},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(PKS16,
 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},
 series       = {PLDI '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {522--538},
 doi          = {10.1145/2908080.2908093},
)
@inproceedings(JR13,
 author       = {Jakob Rehof},
 year         = {2013},
 title        = {{Towards Combinatory Logic Synthesis}},
 booktitle    = {BEAT 2013, 1st International Workshop on Behavioural Types},
 publisher    = {ACM},
)
@article(Reynolds17,
 author       = {Andrew Reynolds and Viktor Kuncak and Cesare Tinelli and Clark Barrett and Morgan Deters},
 year         = {2017},
 title        = {Refutation-based synthesis in SMT},
 journal      = {Formal Methods in System Design},
 doi          = {10.1007/s10703-017-0270-2},
)
@inproceedings(SinghGulwani16,
 author       = {Rishabh Singh and Sumit Gulwani},
 year         = {2016},
 title        = {Transforming spreadsheet data types using examples},
 editor       = {Rastislav Bodik and Rupak Majumdar},
 booktitle    = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016},
 publisher    = {{ACM}},
 address      = {New York, NY, USA},
 pages        = {343--356},
 doi          = {10.1145/2837614.2837668},
)
@inproceedings(SolarLezama06,
 author       = {Solar-Lezama, Armando and Liviu Tancau and Rastislav Bodik and Sanjit Seshia and Vijay Saraswat},
 year         = {2006},
 title        = {Combinatorial sketching for finite programs},
 editor       = {John Paul Shen},
 booktitle    = {Proceedings of the 12th international conference on Architectural support for programming languages and operating systems},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {404},
 doi          = {10.1145/1168857.1168907},
)
@inproceedings(Steffen:97,
 author       = {Bernhard Steffen and Tiziana Margaria and Michael von der Beeck},
 year         = {1997},
 title        = {Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach},
 booktitle    = {ACM/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS'97)},
)
@incollection(TGD15,
 author       = {Ashish Tiwari and Adri{\`a} Gasc{\'o}n and Bruno Dutertre},
 year         = {2015},
 title        = {Program Synthesis Using Dual Interpretation},
 editor       = {Amy Felty and Aart Middeldorp},
 booktitle    = {Automated deduction -- CADE-25},
 series       = {LNCS sublibrary. SL 7, Artificial intelligence},
 volume       = {9195},
 publisher    = {Springer},
 address      = {Cham},
 pages        = {482--497},
 doi          = {10.1007/978-3-319-21401-6\_33},
)
@article(Udupa13,
 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},
 journal      = {SIGPLAN Not.},
 volume       = {48},
 number       = {6},
 pages        = {287--296},
 doi          = {10.1145/2499370.2462174},
)
@incollection(winkels2018automatic,
 author       = {Jan Winkels and Julian Graefenstein and Tristan Sch{\"a}fer and David Scholz and Jakob Rehof and Michael Henke},
 year         = {2018},
 title        = {Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice},
 series       = {Lecture Notes in Computer Science},
 volume       = {11247},
 publisher    = {{Springer}},
 address      = {Cham},
 pages        = {487--503},
 doi          = {10.1007/978-3-030-03427-6\_36},
)