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

splash-2019-oopsla
14:00 - 15:30: OOPSLA - Synthesis at Attica
Chair(s): Christoph ReichenbachLund University
splash-2019-oopsla14:00 - 14:22
Talk
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Benjamin MarianoUniversity of Maryland, College Park, Josh ReeseUniversity of Maryland, College Park, Siyuan XuPurdue University, ThanhVu NguyenUniversity of Nebraska, Lincoln, Xiaokang QiuPurdue University, Jeffrey S. FosterTufts University, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
DOI Pre-print Media Attached