Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas
Sketch-n-Sketch is a programming environment in which we are investigating ways to augment text-based programming with direct manipulation interactions. Three themes have emerged thus far: bidirectional evaluation, output-directed programming with synthesis, and lightweight structured editing. We will discuss the algorithmic and user interface considerations for each of these interactions, as well as plans to further evaluate their usability in future work.
Project page: http://ravichugh.github.io/sketch-n-sketch/
I am an Assistant Professor at the University of Chicago. I enjoy developing and deploying programming language technology — type systems, synthesis algorithms, and other program analysis techniques — for applications in software engineering and human-computer interaction.
Mon 5 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00
|Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three IdeasKeynote|
Ravi ChughUniversity of Chicago
|Interdisciplinary Programming Language Design - Preview|
|Julia: Dynamism and Performance Reconciled by Design - Preview|
|On the Usage of “Pythonic” Idioms in Python Programs - Preview|
|We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview|
Daco HarkesDelft University of TechnologyLink to publication