38 citations · 38 across the 1 of their papers we have counts for
5 papers
Integrated Visualization Editing via Parameterized Declarative Templates
Andrew McNutt, Ravi Chugh
Interfaces for creating visualizations typically embrace one of several common forms. Textual specification enables fine-grained control, shelf building facilitates rapid explorati…
Program Sketching with Live Bidirectional Evaluation
Justin Lubin, Nick Collins, Cyrus Omar +1
We present a system called Smyth for program sketching in a typed functional language whereby the concrete evaluation of ordinary assertions gives rise to input-output examples, wh…
Sketch-n-Sketch: Output-Directed Programming for SVG
Brian Hempel, Justin Lubin, Ravi Chugh
For creative tasks, programmers face a choice: Use a GUI and sacrifice flexibility, or write code and sacrifice ergonomics? To obtain both flexibility and ease of use, a number of…
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kunčak, Ravi Chugh
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuit…
Live Functional Programming with Typed Holes
Cyrus Omar, Ian Voysey, Ravi Chugh +1
This paper develops a dynamic semantics for incomplete functional programs, starting from the static semantics developed in recent work on Hazelnut. We model incomplete functional…