The Three Pillars of Machine Programming

The Three Pillars of Machine Programming

20 March 2018

Justin Emile Gottschlich

Armando Solar-Lezama

Nesime Tatbul

Regina Barzilay

Saman P. Amarasinghe

Papers citing "The Three Pillars of Machine Programming"

8 / 8 papers shown

Title
Neural Machine Translation for Code Generation K. Dharma Clayton T. Morrison 32 4 0 22 May 2023
AdaChain: A Learned Adaptive Blockchain Chenyuan Wu Bhavana Mehta Mohammad Javad Amiri Ryan Marcus B. T. Loo 17 14 0 03 Nov 2022
Compositional Generalization and Decomposition in Neural Program Synthesis Kensen Shi Joey Hong Manzil Zaheer Pengcheng Yin Charles Sutton 37 5 0 07 Apr 2022
Toward Code Generation: A Survey and Lessons from Semantic Parsing Celine Lee Justin Emile Gottschlich Dan Roth Intel Labs 3DV 28 15 0 26 Apr 2021
A Visual Language for Composable Inductive Programming Edward McDaid S. McDaid 6 4 0 18 Sep 2020
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration Augustus Odena Kensen Shi David Bieber Rishabh Singh Charles Sutton Hanjun Dai 18 55 0 28 Jul 2020
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints Irene Vlassi Pandi Earl T. Barr Andrew D. Gordon Charles Sutton 22 29 0 01 Apr 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019