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 …

Automatically transforming developers' natural language descriptions into source code has
been a longstanding goal in software engineering research. Two types of approaches have …

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

This paper presents Siro, a new program transformation framework that translates between
different versions of Intermediate Representations (IR), aiming to better address the issue of …

Many problem domains, including program synthesis and rewrite-based optimization,
require searching astronomically large spaces of programs. Existing approaches often rely …

Automatic program repair (APR) regularly faces the challenge of overfitting patches---
patches that pass the test suite, but do not actually address the problems when evaluated …

With the rise of software-as-a-service and microservice architectures, RESTful APIs are now
ubiquitous in mobile and web applications. A service can have tens or hundreds of API …

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 …

Expert users of property-based testing often labor to craft random generators that encode
detailed knowledge about what it means for a test input to be valid and interesting …

Type-directed component-based program synthesis is the task of automatically building a
function with applications of available components and whose type matches a given goal …