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 JunDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00 | |||
13:30 30mTalk | MapReduce Program Synthesis Research Papers Media Attached | ||
14:00 30mTalk | 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 30mTalk | 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 |