Takuya Akiba
Kentaro Imajo
Hiroaki Iwami
Yoichi Iwata
Toshiki Kataoka
Naohiro Takahashi
Michał Moskal
Nikhil Swamy
2014
Calibrating Research in Program Synthesis Using 72,000 Hours of Programmer Time
Rajeev Alur
Rastislav Bodík
Eric Dallal
Dana Fisman
Pranav Garg
Garvit Juniwal
Hadas Kress-Gazit
P. Madhusudan
Milo M. K. Martin
Mukund Raghothaman
Shambwaditya Saha
Sanjit A. Seshia
Rishabh Singh
Armando Solar-Lezama
Emina Torlak
Abhishek Udupa
2015
Syntax-Guided Synthesis
Dependable Software Systems Engineering
IOS Press
1–25
10.3233/978-1-61499-495-4-1
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
Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013
1–8
Rajeev Alur
Pavol Cerný
Arjun Radhakrishna
2015
Synthesis Through Unification
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
163–179
10.1007/978-3-319-21668-3_10
Rajeev Alur
Dana Fisman
P. Madhusudan
Rishabh Singh
Armando Solar-Lezama
SyGuS Syntax for SyGuS-COMP’15
Rajeev Alur
Dana Fisman
Rishabh Singh
Armando Solar-Lezama
SyGuS Syntax for SyGuS-COMP’16
Rajeev Alur
Dana Fisman
Rishabh Singh
Armando Solar-Lezama
2015
Results and Analysis of SyGuS-Comp'15
SYNT
EPTCS
3–26
10.4204/EPTCS.202.3
Sarah Chasins
Julie Newcomb
2016
Using SyGuS to Synthesize Reactive Motion Plans
5th Workshop on Synthesis, SYNT 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Hassan Eldib
Meng Wu
Chao Wang
2016
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
343–363
10.1007/978-3-319-41540-6_19
John K. Feser
Swarat Chaudhuri
Isil Dillig
2015
Synthesizing data structure transformations from input-output examples
PLDI
229–239
10.1145/2737924.2737977
Pranav Garg
Christof Löding
P. Madhusudan
Daniel Neider
2014
ICE: A Robust Framework for Learning Invariants
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
69–87
10.1007/978-3-319-08867-9_5
Pranav Garg
Daniel Neider
P. Madhusudan
Dan Roth
2016
Learning invariants using decision trees and implication counterexamples
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
499–512
10.1145/2837614.2837664
Sumit Gulwani
2011
Automating string processing in spreadsheets using input-output examples
POPL
317–330
Sumit Gulwani
William R. Harris
Rishabh Singh
2012
Spreadsheet data manipulation using examples
Commun. ACM
55
8
97–105
10.1145/2240236.2240260
Jinseong Jeon
Xiaokang Qiu
Armando Solar-Lezama
Jeffrey S. Foster
2015
Adaptive Concretization for Parallel Program Synthesis
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
377–394
10.1007/978-3-319-21668-3_22
Susmit Jha
Sumit Gulwani
Sanjit A. Seshia
Ashish Tiwari
2010
Oracle-guided Component-based Program Synthesis
Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1
ICSE '10
ACM
New York, NY, USA
215–224
10.1145/1806799.1806833
Alan Leung
John Sarracino
Sorin Lerner
2015
Interactive parser synthesis by example
PLDI
565–574
10.1145/2737924.2738002
Aleksandar Milicevic
Joseph P. Near
Eunsuk Kang
Daniel Jackson
2015
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1
609–619
10.1109/ICSE.2015.77
Daniel Neider
P. Madhusudan
Pranav Garg
2015
ICE DT: Learning Invariants using Decision Trees and Implication Counterexamples
Private Communication
Daniel Neider
Shambwaditya Saha
P. Madhusudan
2015
Alchemist CS: An SMT-based synthesizer for Functions in Linear Integer Arithmetic
Private Communication
Peter-Michael Osera
Steve Zdancewic
2015
Type-and-example-directed program synthesis
PLDI
619–630
10.1145/2737924.2738007
Mukund Raghothaman
Abhishek Udupa
2014
Language to Specify Syntax-Guided Synthesis Problems
CoRR
abs/1405.5590
Veselin Raychev
Max Schäfer
Manu Sridharan
Martin T. Vechev
2013
Refactoring with synthesis
OOPSLA
339–354
10.1145/2509136.2509544
Andrew Reynolds
Morgan Deters
Viktor Kuncak
Cesare Tinelli
Clark W. Barrett
2015
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
198–216
10.1007/978-3-319-21668-3_12
Heinz Riener
Rudiger Ehlers
2015
absTract sOlution Analyzing Synthesis Tool (System Description)
Private Communication
Shambwaditya Saha
Pranav Garg
P. Madhusudan
2015
Alchemist: Learning Guarded Affine Functions
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
440–446
10.1007/978-3-319-21690-4_26
Shambwaditya Saha
Daniel Neider
P. Madhusudan
2015
Alchemist CS DT: Synthesizing Guarded Affine Functions using Constraint Solving and Decision-tree Learning
Private Communication
Rishabh Singh
2016
BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
PVLDB
9
10
816–827
Rishabh Singh
Armando Solar-Lezama
2011
Synthesizing data structure manipulations from storyboards
FSE
289–299
10.1145/2025113.2025153
Rishabh Singh
Armando Solar-Lezama
2012
SPT: Storyboard Programming Tool
CAV
738–743
10.1007/978-3-642-31424-7_58
Armando Solar-Lezama
Rodric M. Rabbah
Rastislav Bodík
Kemal Ebcioglu
2005
Programming by sketching for bit-streaming programs
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005
281–294
10.1145/1065010.1065045
Armando Solar-Lezama
Liviu Tancau
Rastislav Bodík
Sanjit A. Seshia
Vijay A. Saraswat
2006
Combinatorial sketching for finite programs
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
404–415
10.1145/1168857.1168907
Saurabh Srivastava
Sumit Gulwani
Jeffrey S. Foster
2010
From program verification to program synthesis
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
313–326
10.1145/1706299.1706337
Aaron Stump
Geoff Sutcliffe
Cesare Tinelli
2014
StarExec: A Cross-Community Infrastructure for Logic Solving
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
367–373
10.1007/978-3-319-08587-6_28
Emina Torlak
Rastislav Bodík
2014
A lightweight symbolic virtual machine for solver-aided host languages
PLDI
54
10.1145/2594291.2594340