Fetching the paper…
Reading the bibliography…
Formal synthesis is the process of generating a program satisfying a high-level formal specification.
Information and Control
E. Mark Gold (1967): Language identification in the limit · 1967
Earlier work this paper cites.
10.1137/1116025
V. N. Vapnik & A. Ya. Chervonenkis (1971): On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities 16(2), pp. 264–280 · 1971
Earlier work this paper cites.
Information and Control
L. Blum & M. Blum (1975): Toward a mathematical theory of inductive inference · 1975
Earlier work this paper cites.
Electronic Information Processing and Cybernetics
Rolf Wiehagen (1976): Limit Detection of Recursive Functions by Specific Strategies · 1976
Earlier work this paper cites.
Information and Control
Dana Angluin (1980): Inductive Inference of Formal Languages from Positive Data · 1980
Earlier work this paper cites.
ACM Trans. Program. Lang. Syst
Zohar Manna & Richard Waldinger (1980): A Deductive Approach to Program Synthesis · 1980
Earlier work this paper cites.
In: Logic of Programs
Edmund M. Clarke & E. Allen Emerson (1981): Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic · 1981
Earlier work this paper cites.
Elektronische Informationsverarbeitung und Kybernetik
Klaus P. Jantke & Hans-Rainer Beick (1981): Combining Postulates of Naturalness in Inductive Inference · 1981
Earlier work this paper cites.
In: Symposium on Programming
Jean-Pierre Queille & Joseph Sifakis (1982): Specification and Verification of Concurrent Systems in CESAR · 1982
Earlier work this paper cites.
MIT Press
Ehud Y Shapiro (1982): Algorithmic Program Debugging · 1982
Earlier work this paper cites.
ACM Computing Surveys
Dana Angluin & Carl H. Smith (1983): Inductive Inference: Theory and Methods · 1983
Earlier work this paper cites.
Communications of the ACM
Leslie G. Valiant (1984): A Theory of the Learnable · 1984
Earlier work this paper cites.
IEEE Transactions on Computers
Randal E. Bryant (1986): Graph-based algorithms for Boolean function manipulation · 1986
Earlier work this paper cites.
Mach. Learn
J. R. Quinlan (1986): Induction of Decision Trees · 1986
Earlier work this paper cites.
Information and computation
Dana Angluin (1987): Learning regular sets from queries and counterexamples · 1987
Earlier work this paper cites.
MIT Press, Cambridge, MA, USA
Hartley Rogers, Jr. (1987): Theory of Recursive Functions and Effective Computability · 1987
Earlier work this paper cites.
Machine Learning
Dana Angluin (1988): Queries and concept learning · 1988
Earlier work this paper cites.
In: ACM Symposium on Principles of Programming Languages (POPL)
Amir Pnueli & Roni Rosner (1989): On the Synthesis of a Reactive Module · 1989
Earlier work this paper cites.
In Jürgen Dix, Klaus P. Jantke & Peter H. Schmitt, editors: Nonmonotonic and Inductive Logic
Rolf Wiehagen (1990): A Thesis in Inductive Inference · 1990
Earlier work this paper cites.
Journal of Computer and System Sciences
Sally A. Goldman & Michael J. Kearns (1992): On the Complexity of Teaching · 1992
Earlier work this paper cites.
In Deepak Kapur, editor: 11th International Conference on Automated Deduction (CADE)
S. Owre, J. M. Rushby & N. Shankar (1992): PVS: A Prototype Verification System · 1992
Earlier work this paper cites.
SIAM J. Comput
Sally A. Goldman, Ronald L. Rivest & Robert E. Schapire (1993): Learning Binary Relations and Total Orders · 1993
Cited alongside, same era.
Cambridge University Press
M. J. C. Gordon & T. F. Melham (1993): Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic · 1993
Cited alongside, same era.
MIT Press, Cambridge, MA, USA
Glynn Winskel (1993): The Formal Semantics of Programming Languages: An Introduction · 1993
Cited alongside, same era.
In: Proceedings of the Seventh Annual Conference on Computational Learning Theory
Tibor Hegedűs (1994): Geometrical Concept Learning and Convex Polytopes · 1994
Cited alongside, same era.
Pattern Analysis and Machine Intelligence, IEEE Transactions on
S. Salzberg, A.L. Delcher, D. Heath & S. Kasif (1995): Best-case results for nearest-neighbor learning · 1995
Cited alongside, same era.
Journal of Computer and System Sciences
Jeffrey C Jackson (1997): An Efficient Membership-Query Algorithm for Learning { · 1997
In: Handbook of Satisfiability
Armin Biere (2009): Bounded Model Checking · 2009
Later among the works it cites.
Communications of the ACM (CACM)
Sharad Malik & Lintao Zhang (2009): Boolean Satisfiability: From Theoretical Hardness to Practical Success · 2009
Later among the works it cites.
IEEE Trans. on CAD of Integrated Circuits and Systems
Yibin Chen, Sean Safarpour, João Marques-Silva & Andreas G. Veneris (2010): Automated Design Debugging With Maximum Satisfiability · 2010
Later among the works it cites.
Journal of Computer Security
Michael R. Clarkson & Fred B. Schneider (2010): Hyperproperties · 2010
Later among the works it cites.
ICSE ’10, ACM, New York, NY, USA, pp. 215–224, 10.1145/1806799.1806833
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia & Ashish Tiwari (2010): Oracle-guided Component-based Program Synthesis · 2010
Later among the works it cites.
In: Proceedings of the International Conference on Cyber-Physical Systems (ICCPS)
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia & Ashish Tiwari (2010): Synthesizing Switching Logic for Safety and Dwell-Time Requirements · 2010
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
McGraw-Hill, Inc., New York, NY, USA
Thomas M. Mitchell (1997): Machine Learning , first edition · 1997
Cited alongside, same era.
MIT press
Sanjay Jain (1999): Systems that learn: an introduction to learning theory · 1999
Cited alongside, same era.
MIT Press
Edmund M. Clarke, Orna Grumberg & Doron A. Peled (2000): Model Checking · 2000
Cited alongside, same era.
Kluwer Academic Publishers
Matt Kaufmann, Panagiotis Manolios & J. Strother Moore (2000): Computer-Aided Reasoning: An Approach · 2000
Cited alongside, same era.
Mensch-und-Buch-Verlag
S. Lange (2000): Algorithmic Learning of Recursive Languages · 2000
Cited alongside, same era.
Theoretical Computer Science
Dana Angluin (2004): Queries revisited · 2003
Cited alongside, same era.
Later among the works it cites.
In: POPL ’10: Proceedings of the 37th annual ACM Symposium on Principles of Programming Languages
Saurabh Srivastava, Sumit Gulwani & Jeffrey S. Foster (2010): From program verification to program synthesis · 2010
Later among the works it cites.
Logical Methods in Computer Science
Mohamed Faouzi Atig, Ahmed Bouajjani & Shaz Qadeer (2011): Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads · 2011
Later among the works it cites.
In: PLDI
Sumit Gulwani, Susmit Jha, Ashish Tiwari & Ramarathnam Venkatesan (2011): Synthesis of loop-free programs · 2011
Later among the works it cites.
In: Proceedings of the International Conference on Embedded Software (EMSOFT)
Susmit Jha, Sanjit A. Seshia & Ashish Tiwari (2011): Synthesis of Optimal Switching Logic for Hybrid Systems · 2011
Later among the works it cites.
Ph.D. thesis, EECS Department, University of California, Berkeley
Susmit Kumar Jha (2011): Towards Automated System Synthesis Using SCIDUCTION · 2011
Later among the works it cites.
In: ACM SIGPLAN Notices
Sergey Grebenshchikov, Nuno P Lopes, Corneliu Popeea & Andrey Rybalchenko (2012): Synthesizing software verifiers from proof rules · 2012
Later among the works it cites.
Commun. ACM
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac & Philippe Suter (2012): Software synthesis procedures · 2012
Later among the works it cites.
In: Proceedings of the Design Automation Conference (DAC)
Sanjit A. Seshia (2012): Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis · 2012
Later among the works it cites.
In: Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak & Abhishek Udupa (2013): Syntax-Guided Synthesis · 2013
Later among the works it cites.
In: Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh & Sanjit A. Seshia (2013): Mining Requirements from Closed-Loop Control Models · 2013
Later among the works it cites.
In Armin Biere, Amir Nahir & Tanja Vos, editors: Hardware and Software: Verification and Testing
Antonio Morgado, Mark Liffiton & Joao Marques-Silva (2013): MaxSAT-Based MCS Enumeration · 2013
Later among the works it cites.
In: Proceedings of the 34 t h 34^{th} ACM SIGPLAN conference on Programming Language Design and Implementation
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M.K. Martin & Rajeev Alur (2013): Transit · 2013
Later among the works it cites.
In: 3rd Workshop on Synthesis (SYNT)
Susmit Jha & Sanjit A. Seshia (2014): Are There Good Mistakes? A Theoretical Analysis of CEGIS · 2014
Later among the works it cites.
Available at http://www.iro.umontreal.ca/~bengioy/dlbook
Yoshua Bengio, Ian J. Goodfellow & Aaron Courville (2015): Deep Learning · 2015
Closest in time.