Applications targeting digital signal processors (DSPs) benefit from fast implementations of
small linear algebra kernels. While existing auto-vectorizing compilers are effective at …

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

A key challenge in program synthesis is the astronomical size of the search space the
synthesizer has to explore. In response to this challenge, recent work proposed to guide …

Data scientists, researchers, and clerks often create web automation programs to perform
repetitive yet essential tasks, such as data scra** and data entry. However, existing web …

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 …

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

The goal of program synthesis from examples is to find a computer program that is
consistent with a given set of input-output examples. Most learning-based approaches try to …

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. Despite its attractiveness and major research …

Programming-by-example (PBE) systems aim to alleviate the burden of programming.
However, user-specified examples are often ambiguous, leaving multiple programs to satisfy …

Unit tests that demonstrate why a program is incorrect have many potential uses, including
localizing bugs (ie, showing where code is wrong), improving test suites, and better code …