Mon 5 Nov 2018 10:30 - 11:35 at Beacon Hill - Keynote: Chugh Chair(s): Joshua Sunshine

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

plateau-2018-papers
10:30 - 12:00: PLATEAU 2018 - Keynote: Chugh at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
plateau-2018-papers10:30 - 11:35
Talk
Ravi ChughUniversity of Chicago
plateau-2018-papers11:35 - 11:40
Talk
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
plateau-2018-papers11:40 - 11:45
Talk
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
plateau-2018-papers11:45 - 11:50
Talk
Carol V. AlexandruUniversity of Zurich, José J. MerchanteUniversidad Rey Juan Carlos, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Sebastian ProkschUniversity of Zurich, Harald GallUniversity of Zurich, Gregorio RoblesUniversidad Rey Juan Carlos
plateau-2018-papers11:50 - 11:55
Talk
Daco HarkesDelft University of Technology
Link to publication