Thu 16 Jun 2016 14:00 - 14:30 at Grand Ballroom Santa Ynez - Synthesis I Chair(s): Eran Yahav

We present the Sketch-n-Sketch editor for Scalable Vector Graphics (SVG) that integrates programmatic and direct manipulation, two modes of interaction with complementary strengths. In Sketch-n-Sketch, the user writes a program to generate an output SVG canvas. Then the user may directly manipulate the canvas while the system infers real-time updates to the program in order to match the changes to the output. To achieve this, we propose (i) a technique called trace-based program synthesis that takes program execution history into account in order to constrain the search space and (ii) heuristics for dealing with ambiguities. Based on our experience writing more than 40 examples and from the results of a study with 25 participants, we conclude that Sketch-n-Sketch provides a novel and effective workflow between the boundaries of existing programmatic and direct manipulation systems.

Thu 16 Jun

pldi-2016-papers
13:30 - 15:00: Research Papers - Synthesis I at Grand Ballroom Santa Ynez
Chair(s): Eran YahavTechnion
pldi-2016-papers146607660000013:30 - 14:00
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin–Madison
Media Attached
pldi-2016-papers146607840000014:00 - 14:30
Talk
Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago
Pre-print Media Attached
pldi-2016-papers146608020000014:30 - 15:00
Talk
Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington
Media Attached