Fetching the paper…
Reading the bibliography…
Multimodal program synthesis, which leverages different types of user input to synthesize a desired program, is an attractive way to scale program synthesis to challenging settings; however, it requires integrating noisy signals from the user, like natural language, with hard constraints on the program's behavior.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and Radhia Cousot. 1977 · 1977
Earlier work this paper cites.
Evaluation of spoken language systems: The atis domain
Patti Price. 1990 · 1990
Earlier work this paper cites.
Learning to parse database queries using inductive logic programming
John M. Zelle and Raymond J. Mooney. 1996 · 1996
Earlier work this paper cites.
Long Short-Term Memory
Sepp Hochreiter and Jürgen Schmidhuber. 1997 · 1997
Earlier work this paper cites.
Luke S. Zettlemoyer and Michael Collins. 2005 · 2005
Earlier work this paper cites.
Using Semantic Unification to Generate Regular Expressions from Natural Language
Nate Kushman and Regina Barzilay. 2013 · 2013
Earlier work this paper cites.
A machine learning framework for programming by example
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Tauman Kalai. 2013 · 2013
Earlier work this paper cites.
Stochastic superoptimization
Eric Schkufza, Rahul Sharma, and Alex Aiken. 2013 · 2013
Earlier work this paper cites.
A dpll (t) theory solver for a theory of strings and regular expressions
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, and Morgan Deters. 2014 · 2014
Earlier work this paper cites.
Synthesizing data structure transformations from input-output examples
John K. Feser, Swarat Chaudhuri, and Isil Dillig. 2015 · 2015
Earlier work this paper cites.
Adam: A method for stochastic optimization
Diederik P. Kingma and Jimmy Ba. 2015 · 2015
Earlier work this paper cites.
Effective Approaches to Attention-based Neural Machine Translation
Thang Luong, Hieu Pham, and Christopher D. Manning. 2015 · 2015
Earlier work this paper cites.
Principles of program analysis
Flemming Nielson, Hanne R Nielson, and Chris Hankin. 2015 · 2015
Earlier work this paper cites.
Compositional program synthesis from natural language and examples
Mohammad Raza, Sumit Gulwani, and Natasa Milic-Frayling. 2015 · 2015
Earlier work this paper cites.
Building a Semantic Parser Overnight
Yushi Wang, Jonathan Berant, and Percy Liang. 2015 · 2015
Earlier work this paper cites.
Optimizing synthesis with metasketches
James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze. 2016 · 2016
Cited alongside, same era.
Program synthesis using natural language
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, and Subhajit Roy. 2016 · 2016
Cited alongside, same era.
Language to logical form with neural attention
Li Dong and Mirella Lapata. 2016 · 2016
Cited alongside, same era.
Data recombination for neural semantic parsing
Robin Jia and Percy Liang. 2016 · 2016
Cited alongside, same era.
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee, Sunbeom So, and Hakjoo Oh. 2016 · 2016
Cited alongside, same era.
Deepcoder: Learning to write programs
M Balog, AL Gaunt, M Brockschmidt, S Nowozin, and D Tarlow. 2017 · 2017
Cited alongside, same era.
Neural-guided deductive search for real-time program synthesis from examples
Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani. 2018 · 2018
Later among the works it cites.
Neural program search: Solving programming tasks from description and examples
Illia Polosukhin and Alexander Skidanov. 2018 · 2018
Later among the works it cites.
Improving neural program synthesis with inferred execution traces
Eui Chul Shin, Illia Polosukhin, and Dawn Song. 2018 · 2018
Later among the works it cites.
Execution-guided neural program decoding
Chenglong Wang, Po-Sen Huang, Alex Polozov, Marc Brockschmidt, and Rishabh Singh. 2018 · 2018
Later among the works it cites.
Learning to mine aligned code and natural language pairs from stack overflow
Pengcheng Yin, Bowen Deng, Edgar Chen, Bogdan Vasilescu, and Graham Neubig. 2018 · 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…
Robustfill: Neural Program Learning under Noisy I/O
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017 · 2017
Cited alongside, same era.
Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, and Swarat Chaudhuri. 2017 · 2017
Cited alongside, same era.
dk.brics.automaton – finite-state automata and regular expressions for Java
Anders Møller. 2017 · 2017
Cited alongside, same era.
Abstract syntax networks for code generation and semantic parsing
Maxim Rabinovich, Mitchell Stern, and Dan Klein. 2017 · 2017
Cited alongside, same era.
Program synthesis using abstraction refinement
Xinyu Wang, Isil Dillig, and Rishabh Singh. 2017 · 2017
Cited alongside, same era.
SQLizer: Query Synthesis from Natural Language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig. 2017 · 2017
Cited alongside, same era.
Pengcheng Yin and Graham Neubig. 2018 · 2018
Later among the works it cites.
Maximal multi-layer specification synthesis
Yanju Chen, Ruben Martins, and Yu Feng. 2019b · 2019
Later among the works it cites.
Write, execute, assess: Program synthesis with a repl
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. 2019 · 2019
Later among the works it cites.
Spoc: Search-based pseudocode to code
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, and Percy S Liang. 2019 · 2019
Later among the works it cites.
Learning to infer program sketches
Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, and Armando Solar-Lezama. 2019 · 2019
Later among the works it cites.
Multi-modal synthesis of regular expressions
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig. 2020 · 2020
Closest in time.
Treegen: A tree-based transformer architecture for code generation
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, and Lu Zhang. 2020 · 2020
Closest in time.
A large-scale benchmark for few-shot program induction and synthesis
Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell Nye, Armando Solar-Lezama, Tomas Lozano-Perez, Leslie Kaelbling, and Joshua Tenenbaum. 2021 · 2021
Closest in time.
Program synthesis with large language models
Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, and Charles Sutton. 2021 · 2021
Closest in time.