Ravi Chugh

43 papers A* 13A 4B 2Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Code Style Sheets: CSS for Code.
CoRR
Sam Cohen, Ravi Chugh
2025 J jnl
Code Style Sheets: CSS for Code.
Proc. ACM Program. Lang.
Sam Cohen, Ravi Chugh
2025 A* conf
Ragged Blocks: Rendering Structured Text with Style.
UIST
Sam Cohen, Ravi Chugh
2025 J jnl
Ragged Blocks: Rendering Structured Text with Style.
CoRR
Sam Cohen, Ravi Chugh
2025 A* conf
Slowness, Politics, and Joy: Values That Guide Technology Choices in Creative Coding Classrooms.
CHI
Andrew M. McNutt, Sam Cohen, Ravi Chugh
2023 A* conf
A Study of Editor Features in a Creative Coding Classroom.
CHI
Andrew M. McNutt, Anton Outkine, Ravi Chugh
2023 J jnl
A Study of Editor Features in a Creative Coding Classroom.
CoRR
Andrew M. McNutt, Anton Outkine, Ravi Chugh
2023 B conf
Projectional Editors for JSON-Based DSLs.
VL/HCC
Andrew M. McNutt, Ravi Chugh
2023 J jnl
Projectional Editors for JSON-Based DSLs.
CoRR
Andrew M. McNutt, Ravi Chugh
2022 A conf
Maniposynth: Bimodal Tangible Functional Programming.
ECOOP
Brian Hempel, Ravi Chugh
2022 J jnl
Maniposynth: Bimodal Tangible Functional Programming.
CoRR
Brian Hempel, Ravi Chugh
2021 A* conf
Filling typed holes with live GUIs.
PLDI
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
2021 A* conf
Integrated Visualization Editing via Parameterized Declarative Templates.
CHI
Andrew M. McNutt, Ravi Chugh
2021 J jnl
Integrated Visualization Editing via Parameterized Declarative Templates.
CoRR
Andrew M. McNutt, Ravi Chugh
2020 J jnl
Program sketching with live bidirectional evaluation.
Proc. ACM Program. Lang.
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
2020 B conf
Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions).
VL/HCC
Brian Hempel, Ravi Chugh
2019 — conf
A Bidirectional Krivine Evaluator.
Bx@PLW
Mikaël Mayer, Ravi Chugh
2019 J jnl
Live functional programming with typed holes.
Proc. ACM Program. Lang.
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
2019 J jnl
Program Synthesis with Live Bidirectional Evaluation.
CoRR
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
2019 A* conf
Sketch-n-Sketch: Output-Directed Programming for SVG.
UIST
Brian Hempel, Justin Lubin, Ravi Chugh
2019 J jnl
Sketch-n-Sketch: Output-Directed Programming for SVG.
CoRR
Brian Hempel, Justin Lubin, Ravi Chugh
2019 — conf
Type-Directed Program Transformations for the Working Functional Programmer.
PLATEAU@UIST
Justin Lubin, Ravi Chugh
2018 J jnl
Bidirectional Evaluation with Direct Manipulation.
CoRR
Mikaël Mayer, Viktor Kuncak, Ravi Chugh
2018 J jnl
Bidirectional evaluation with direct manipulation.
Proc. ACM Program. Lang.
Mikaël Mayer, Viktor Kuncak, Ravi Chugh
2018 A* conf
Deuce: a lightweight user interface for structured editing.
ICSE
Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh
2018 J jnl
Live Functional Programming with Typed Holes.
CoRR
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
2017 J jnl
Lightweight Structured Editing with Direct Manipulation.
CoRR
Brian Hempel, Grace Lu, Ravi Chugh
2016 — conf
Prodirect manipulation: bidirectional programming for the masses.
ICSE (Companion Volume)
Ravi Chugh
2016 A* conf
Programmatic and direct manipulation, together at last.
PLDI
Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers
2016 A* conf
Semi-Automated SVG Programming via Direct Manipulation.
UIST
Brian Hempel, Ravi Chugh
2016 J jnl
Semi-Automated SVG Programming via Direct Manipulation.
CoRR
Brian Hempel, Ravi Chugh
2015 A conf
IsoLATE: A Type System for Self-recursion.
ESOP
Ravi Chugh
2015 J jnl
Prodirect Manipulation: Bidirectional Programming for the Masses.
CoRR
Ravi Chugh
2015 J jnl
Program Synthesis for Direct Manipulation Interfaces.
CoRR
Ravi Chugh, Jacob Albers, Mitchell Spradlin
2013 — —
Nested Refinement Types for JavaScript.
Ravi Chugh
2012 A conf
Dependent types for JavaScript.
OOPSLA
Ravi Chugh, David Herman, Ranjit Jhala
2012 A* conf
Nested refinements: a logic for duck typing.
POPL
Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala
2011 J jnl
Dependent Types for JavaScript
CoRR
Ravi Chugh, Ranjit Jhala
2011 J jnl
System D: Dependent Dynamic Dictionaries
CoRR
Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala
2010 A conf
Enforcing Stateful Authorization and Information Flow Policies in Fine.
ESOP
Nikhil Swamy, Juan Chen, Ravi Chugh
2010 A* conf
Type-preserving compilation of end-to-end verification of security enforcement.
PLDI
Juan Chen, Ravi Chugh, Nikhil Swamy
2009 A* conf
Staged information flow for javascript.
PLDI
Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner
2008 A* conf
Dataflow analysis for concurrent programs using datarace detection.
PLDI
Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner