We address the problem of synthesizing code completions for programs using APIs. Given a
program with holes, we synthesize completions for holes with the most likely sequences of …

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 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 present a method for synthesizing recursive functions that provably satisfy a given
specification in the form of a polymorphic refinement type. We observe that such …

This paper presents an algorithm for synthesizing recursive functions that process algebraic
datatypes. It is founded on proof-theoretic techniques that exploit both type information and …

Modern programming frameworks come with large libraries, with diverse applications such
as for matching regular expressions, parsing XML files and sending email. Programmers …

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 …

Developing modern software typically involves composing functionality from existing
libraries. This task is difficult because libraries may expose many methods to the developer …

There are many tools that help programmers find code fragments, but most are inexpressive
and rely on static information. We present a new technique for synthesizing code that is …