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.