Powered by recent advances in code-generating models, AI assistants like Github Copilot
promise to change the face of programming forever. But what is this new face of …

We propose a new synthesis algorithm that can efficiently search programs with local
variables (eg, those introduced by lambdas). Prior bottom-up synthesis algorithms are not …

Code-generating large language models (LLMs) are transforming programming. Their
capability to generate multi-step solutions provides even non-programmers a mechanism to …

One vision for program synthesis, and specifically for programming by example (PBE), is an
interactive programmer's assistant, integrated into the development environment. To make …

We develop an approach for improving the trustworthiness and overall accuracy of programs
synthesizers based on large language models for source code. Given a natural language …

Analytical SQL is widely used in modern database applications and data analysis. However,
its partitioning and grouping operators are challenging for novice users. Unfortunately …

AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot
alone used by over a million developers worldwide. These tools are far from perfect …

Programming has become a collaboration between human programmers, who drive intent,
and interactive assistants that suggest contextually relevant editor actions. There has been …

We present Scrybe, an example-based synthesis tool for a statically-typed functional
programming language, which combines top-down deductive reasoning in the style of with …

We develop an approach to estimate the probability that a program sampled from a large
language model is correct. Given a natural language description of a programming problem …