Fetching the paper…
Reading the bibliography…
We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms.
Write, execute, assess: Program synthesis with a repl
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama · 1906
Earlier work this paper cites.
The fortran automatic coding system
J. W. Backus, R. J. Beeber, S. Best, R. Goldberg, L. M. Haibt, H. L. Herrick, R. A. Nelson, D. Sayre, P. B. Sheridan, H. Stern, I. Ziller, R. A. Hughes, and R. Nutt · 1957
Earlier work this paper cites.
PROW: A Step Toward Automatic Program Writing
R.J. Waldinger, R.C.T. Lee, and SRI International · 1969
Earlier work this paper cites.
Learning structural descriptions from examples
Patrick H. Winston · 1970
Earlier work this paper cites.
Toward automatic program synthesis
Zohar Manna and Richard J Waldinger · 1971
Earlier work this paper cites.
Knowledge and reasoning in program synthesis
Zohar Manna and Richard Waldinger · 1975
Earlier work this paper cites.
A methodology for lisp program construction from examples
Phillip D Summers · 1977
Earlier work this paper cites.
The formulae-as-types notion of construction
William A Howard · 1980
Earlier work this paper cites.
Backpropagation applied to handwritten zip code recognition
Yann LeCun, Bernhard Boser, John S Denker, Donnie Henderson, Richard E Howard, Wayne Hubbard, and Lawrence D Jackel · 1989
Earlier work this paper cites.
On the synthesis of a reactive module
Amir Pnueli and Roni Rosner · 1989
Earlier work this paper cites.
Refinement types ml
Tim Freeman · 1994
Earlier work this paper cites.
Long short-term memory
Sepp Hochreiter and Jürgen Schmidhuber · 1997
Earlier work this paper cites.
Types and programming languages
Benjamin C Pierce and C Benjamin · 2002
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Learning programs: A hierarchical bayesian approach
Percy Liang, Michael I Jordan, and Dan Klein · 2010
Earlier work this paper cites.
Quickcheck: a lightweight tool for random testing of haskell programs
Koen Claessen and John Hughes · 2011
Cited alongside, same era.
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani · 2011
Cited alongside, same era.
Alan Turing’s Electronic Brain: The Struggle to Build the ACE, the World’s Fastest Computer
B.J. Copeland · 2012
Cited alongside, same era.
A machine learning framework for programming by example
Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai · 2013
Cited alongside, same era.
Learning natural coding conventions
Miltiadis Allamanis, Earl T Barr, Christian Bird, and Charles Sutton · 2014
Cited alongside, same era.
Synthesis through unification
Rajeev Alur, Pavol Černý, and Arjun Radhakrishna · 2015
Cited alongside, same era.
Synthesizing highly expressive sql queries from input-output examples
Chenglong Wang, Alvin Cheung, and Rastislav Bodik · 2017
Later among the works it cites.
A survey of machine learning for big code and naturalness
Miltiadis Allamanis, Earl T Barr, Premkumar Devanbu, and Charles Sutton · 2018
Later among the works it cites.
Quickcheck for rust, 2018
Andrew Gallant · 2018
Later among the works it cites.
The three pillars of machine programming
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, and Tim Mattson · 2018
Later among the works it cites.
junit-quickcheck, 2018
Paul Holser · 2018
Later among the works it cites.
Hypothesis, 2018
Hypothesis · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Synthesizing data structure transformations from input-output examples
John K Feser, Swarat Chaudhuri, and Isil Dillig · 2015
Cited alongside, same era.
Afl + quickcheck = ?, 2015
Dan Luu · 2015
Cited alongside, same era.
Deepcoder: Learning to write programs
Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2016
Cited alongside, same era.
Deepmath-deep sequence models for premise selection
Geoffrey Irving, Christian Szegedy, Alexander A Alemi, Niklas Eén, François Chollet, and Josef Urban · 2016
Cited alongside, same era.
Program synthesis from polymorphic refinement types
Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama · 2016
Cited alongside, same era.
RobustFill: Neural program learning under noisy I/O
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel rahman Mohamed, and Pushmeet Kohli · 2017
Cited alongside, same era.
Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani · 2018
Later among the works it cites.
Synthetic datasets for neural program synthesis
Richard Shin, Neel Kant, Kavi Gupta, Chris Bender, Brandon Trabucco, Rishabh Singh, and Dawn Song · 2018
Later among the works it cites.
Introduction to program synthesis
Armando Solar-Lezama · 2018
Later among the works it cites.
Automatic program synthesis of long programs with a learned garbage collector
Amit Zohar and Lior Wolf · 2018
Later among the works it cites.
code2vec: Learning distributed representations of code
Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav · 2019
Later among the works it cites.
Continuously reasoning about programs using differential bayesian inference
Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik · 2019
Later among the works it cites.
Learning to infer program sketches
Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, and Armando Solar-Lezama · 2019
Later among the works it cites.
William of ockham
Paul Vincent Spade and Claude Panaccio · 2019
Later among the works it cites.