Ravi Chugh

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 29

Top Venues

CoRR

Proc. ACM Program. Lang.

VL/HCC

PLDI

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

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

Ravi Chugh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ravi Chugh