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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Keynote: ChughPLATEAU at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
10:30
65m
Talk
Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three IdeasKeynote
PLATEAU
Ravi ChughUniversity of Chicago
11:35
5m
Talk
Interdisciplinary Programming Language Design - Preview
PLATEAU
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
11:40
5m
Talk
Julia: Dynamism and Performance Reconciled by Design - Preview
PLATEAU
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
11:45
5m
Talk
On the Usage of “Pythonic” Idioms in Python Programs - Preview
PLATEAU
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
11:50
5m
Talk
We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview
PLATEAU
Daco HarkesDelft University of Technology
Link to publication