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

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Synthesis IResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Eran Yahav Technion
13:30
30m
Talk
MapReduce Program Synthesis
Research Papers
Calvin Smith University of Wisconsin - Madison, Aws Albarghouthi University of Wisconsin–Madison
Media Attached
14:00
30m
Talk
Programmatic and Direct Manipulation, Together at Last
Research Papers
Ravi Chugh University of Chicago, Brian Hempel University of Chicago, Mitchell Spradlin University of Chicago, Jacob Albers University of Chicago
Pre-print Media Attached
14:30
30m
Talk
Fast Synthesis of Fast Collections
Research Papers
Calvin Loncaric University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington
Media Attached