This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

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 consider the task of map** pseudocode to executable code, assuming a one-to-one
correspondence between lines of pseudocode and lines of code. Given test cases as a …

We propose a new conflict-driven program synthesis technique that is capable of learning
from past mistakes. Given a spurious program that violates the desired specification, our …

This paper presents a novel component-based synthesis algorithm that marries the power of
type-directed search with lightweight SMT-based deduction and partial evaluation. Given a …

We propose a novel way to incorporate expert knowledge into the training of deep neural
networks. Many approaches encode domain constraints directly into the network …

Multi-modal program synthesis refers to the task of synthesizing programs (code) from their
specification given in different forms, such as a combination of natural language and …

Programming-by-example (PBE) has become an increasingly popular component in
software development tools, human-robot interaction, and end-user programming. A long …

We consider the problem of type-directed component-based synthesis where, given a set of
(typed) components and a query type, the goal is to synthesize a term that inhabits the …