Recent advances in Large Language Models (LLM) have made automatic code generation
possible for real-world programming tasks in general-purpose programming languages …

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 …

Modern program synthesizers are increasingly delivering on their promise of lightening the
burden of programming by automatically generating code, but little research has addressed …

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

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

The traditional formulation of the program synthesis problem is to find a program that meets
a logical correctness specification. When synthesis is successful, there is a guarantee that …

Significant efforts have been investigated to develop machine learning (ML) based tools to
support security operations. However, they still face key challenges in practice. A generally …

We present Hoogle+, a web-based API discovery tool for Haskell. A Hoogle+ user can
specify a programming task using either a type, a set of input-output tests, or both. Given a …

Program synthesis, which generates programs based on user-provided specifications, can
be obscure and brittle: users have few ways to understand and recover from synthesis …

Program synthesis promises to help software developers with everyday tasks by generating
code snippets automatically from input-output examples and other high-level specifications …