Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …

We present a new method for automatically providing feedback for introductory
programming problems. In order to use this method, we need a reference implementation of …

We present a method for example-guided synthesis of functional programs over recursive
data structures. Given a set of input-output examples, our method synthesizes a program in …

We consider the problem of synthesizing loop-free programs that implement a desired
functionality using components from a given library. Specifications of the desired …

Automated program repair can potentially reduce debugging costs and improve software
quality but recent studies have drawn attention to shortcomings in the quality of …

Programming-by-Examples (PBE) involves synthesizing an" intended program" from a small
set of user-provided input-output examples. A key PBE strategy has been to restrict the …

Program synthesis is the mechanized construction of software, dubbed 'self-writing code'.
Synthesis tools relieve the programmer from thinking about how the problem is to be solved; …

Component-based approaches to program synthesis assemble programs from a database
of existing components, such as methods provided by an API. In this paper, we present a …

Interacting with computers is a ubiquitous activity for millions of people. Repetitive or
specialized tasks often require creation of small, often one-off, programs. End-users struggle …

Input-output examples are a simple and accessible way of describing program behaviour.
Program synthesis from input-output examples has the potential of extending the range of …