Programming-by-Examples (PBE) involves synthesizing an" intended program" from a small
set of user-provided input-output examples. A key PBE strategy has been to restrict the …

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

Template-based synthesis, also known as sketching, is a localized approach to program
synthesis in which the programmer provides not only a specification, but also a high-level" …

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 …

A key challenge in example-based program synthesis is the gigantic search space of
programs. To address this challenge, various work proposed to use abstract interpretation to …

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

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 …

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 growth of the open-source data science community, both the number of data
science libraries and the number of versions for the same library are increasing rapidly. To …

Blockchain adoption has surged with the rise of Decentralized Finance (DeFi) applications.
However, the significant value of digital assets managed by DeFi protocols makes them …