Write a Blog >>
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
Times are displayed in time zone: Beirut change

14:00 - 15:30: Synthesis OOPSLA at Attica
Chair(s): Christoph ReichenbachLund University
14:00 - 14:22
AL: Autogenerating Supervised Learning Programs
14:22 - 14:45
Program Synthesis with Algebraic Library Specifications
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
14:45 - 15:07
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley
15:07 - 15:30
On the Fly Synthesis of Edit Suggestions
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
DOI Pre-print Media Attached