Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 15:07 - 15:30 at Attica - Synthesis Chair(s): Christoph Reichenbach

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 by demonstration/examples
(PBD/PBE) systems automate these tasks by learning programs to perform the
repetitive edits from demonstration or examples. However, PBD/PBE systems are
not widely adopted, mainly because they require modal UIs – users must enter a
special mode to give the demonstration/examples. This paper presents
Blue-Pencil, a modeless system for synthesizing edit suggestions on the
fly. Blue-Pencil observes users as they make changes to the document, silently
identifies repetitive changes, and automatically suggests transformations that
can apply at other locations. Blue-Pencil is parameterized – it allows
the "plug-and-play" of different PBE engines to support different document types and
different kinds of transformations. We demonstrate this parameterization by
instantiating Blue-Pencil to several domains – C# and SQL code, markdown documents,
and spreadsheets – using various existing PBE engines. Our evaluation on
37 code editing sessions shows that Blue-Pencil synthesized edit
suggestions with a precision of 0.89 and a recall of 1.0, and took
199 ms to return suggestions on average. Finally, we report on several improvements based on feedback gleaned
from a field study with professional programmers to investigate the use of Blue-Pencil during
long code editing sessions. Blue-Pencil has been integrated with Visual Studio IntelliCode to power the IntelliCode refactorings feature.

Fri 25 Oct

Displayed time zone: Beirut change

14:00 - 15:30
Synthesis OOPSLA at Attica
Chair(s): Christoph Reichenbach Lund University
14:00
22m
Talk
AL: Autogenerating Supervised Learning Programs
OOPSLA
DOI
14:22
22m
Talk
Program Synthesis with Algebraic Library Specifications
OOPSLA
Benjamin Mariano University of Maryland, College Park, Josh Reese University of Maryland, College Park, Siyuan Xu Purdue University, ThanhVu Nguyen University of Nebraska, Lincoln, Xiaokang Qiu Purdue University, Jeffrey S. Foster Tufts University, Armando Solar-Lezama Massachusetts Institute of Technology
DOI
14:45
22m
Talk
AutoPandas: Neural-Backed Generators for Program Synthesis
OOPSLA
Rohan Bavishi UC Berkeley, Caroline Lemieux University of California, Berkeley, Roy Fox UC Berkeley, Koushik Sen University of California, Berkeley, Ion Stoica UC Berkeley
DOI
15:07
22m
Talk
On the Fly Synthesis of Edit Suggestions
OOPSLA
Anders Miltner Princeton University, Sumit Gulwani Microsoft, Vu Le Microsoft, Alan Leung Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft, Abhishek Udupa Microsoft
DOI Pre-print Media Attached