Data wrangling is a difficult and time-consuming activity in computational notebooks, and
existing wrangling tools do not fit the exploratory workflow for data scientists in these …

Developers nowadays have to contend with a growing number of APIs. While in the long-
term they are very useful to developers, many modern APIs have an incredibly steep …

Traditional automatic program repair (APR) tools rely on a test-suite as a repair specification.
But test suites even when available are not of specification quality, limiting the performance …

When working with a document, users often perform context-specific repetitive edits–
changes to the document that are similar but specific to the contexts at their locations …

Programming skills have gained increasing attention in recent years because digital
technologies have become an indispensable part of life. However, little is known about 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 …

Software supply-chain attacks target components that are integrated into client applications.
Such attacks often target widely-used components, with the attack taking place via …

Modifications to the data representation of an abstract data type (ADT) can require
significant semantic refactoring of the code. Motivated by this observation, this paper …

In this demo paper, we introduce Trinity, a general-purpose framework that can be used to
quickly build domain-specific program synthesizers for automating many tedious tasks that …

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