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 novel trace-guided approach to tackle the challenges of ambiguity and
generalization in synthesis of recursive functional programs from input-output examples. Our …

Live programming is a paradigm in which the programming environment continually
displays runtime values. Program synthesis is a technique that can generate programs or …

Live programming is a regime in which the programming environment provides continual
feedback, most often in the form of runtime values. In this paper, we present Projection …

We present a system called Smyth for program sketching in a typed functional language
whereby the concrete evaluation of ordinary assertions gives rise to input-output examples …

Code completion is an editor service in IDEs that proposes code fragments for the user to
insert at the caret position in their code. Code completion should be sound and complete. It …

Creative coding is a rapidly expanding domain for both artistic expression and
computational education. Numerous libraries and IDEs support creative coding, however …

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 …

Makers from increasingly diverse backgrounds use digital fabrication machines to explore
novel design spaces. However, software tools for fabrication are designed primarily for …

Text editing is powerful, but some types of expressions are more naturally represented and
manipulated graphically. Examples include expressions that compute colors, music …