BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration

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.

A methodology for LISP program construction from examples

Phillip D Summers · 1977

Earlier work this paper cites.

Genetic programming as a means for programming computers by natural selection

John R Koza · 1994

Earlier work this paper cites.

TF-Coder: Program synthesis for tensor manipulations, 2020

Original

Kensen Shi, David Bieber, and Rishabh Singh · 2003

Earlier work this paper cites.

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat · 2006

Earlier work this paper cites.

Search-based structured prediction

Hal Daumé, III, John Langford, and Daniel Marcu · 2009

Earlier work this paper cites.

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani · 2011

Earlier work this paper cites.

A reduction of imitation learning and structured prediction to No-Regret online learning

Stephane Ross, Geoffrey Gordon, and Drew Bagnell · 2011

Earlier work this paper cites.

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa · 2013

Earlier work this paper cites.

A machine learning framework for programming by example

Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai · 2013

Cited alongside, same era.

Stochastic superoptimization

Eric Schkufza, Rahul Sharma, and Alex Aiken · 2013

Cited alongside, same era.

TRANSIT: Specifying protocols with concolic snippets

Abhishek Udupa, Arun Raghavan, Jyotirmoy V Deshmukh, Sela Mador-Haim, Milo M K Martin, and Rajeev Alur · 2013

Cited alongside, same era.

Learning to search better than your teacher

Kai-Wei Chang, Akshay Krishnamurthy, Alekh Agarwal, Daume III, and John Langford · 2015

Cited alongside, same era.

DeepCoder: Learning to write programs

Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2017

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.

Leveraging grammar and reinforcement learning for neural program synthesis

Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, and Pushmeet Kohli · 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.

Accelerating search-based program synthesis using learned probabilistic models

Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik · 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.

Execution-guided neural program synthesis

Xinyun Chen, Chang Liu, and Dawn Song · 2019