Dataflow analysis for concurrent programs using datarace detection. - Ravi Chugh; Jan Wen Voung; Ranjit Jhala; Sorin Lerner (PLDI, 2008)

Staged information flow for javascript. - Ravi Chugh; Jeffrey A. Meister; Ranjit Jhala; Sorin Lerner (PLDI, 2009)

Enforcing Stateful Authorization and Information Flow Policies in Fine. - Nikhil Swamy; Juan Chen 002; Ravi Chugh (ESOP, 2010)

Type-preserving compilation of end-to-end verification of security enforcement. - Juan Chen 002; Ravi Chugh; Nikhil Swamy (PLDI, 2010)

System D: Dependent Dynamic Dictionaries - Ravi Chugh; Patrick Maxim Rondon; Ranjit Jhala (CoRR, 2011)

Dependent Types for JavaScript - Ravi Chugh; Ranjit Jhala (CoRR, 2011)

Dependent types for JavaScript. - Ravi Chugh; David Herman; Ranjit Jhala (OOPSLA, 2012)

Nested refinements: a logic for duck typing. - Ravi Chugh; Patrick Maxim Rondon; Ranjit Jhala (POPL, 2012)

Nested Refinement Types for JavaScript. - Ravi Chugh (2013)

IsoLATE: A Type System for Self-recursion. - Ravi Chugh (ESOP, 2015)

Program Synthesis for Direct Manipulation Interfaces. - Ravi Chugh; Jacob Albers; Mitchell Spradlin (CoRR, 2015)

Prodirect manipulation: bidirectional programming for the masses. - Ravi Chugh (ICSE (Companion Volume), 2016)

Programmatic and direct manipulation, together at last. - Ravi Chugh; Brian Hempel; Mitchell Spradlin; Jacob Albers (PLDI, 2016)

Semi-Automated SVG Programming via Direct Manipulation. - Brian Hempel; Ravi Chugh (UIST, 2016)

Lightweight Structured Editing with Direct Manipulation. - Brian Hempel; Grace Lu; Ravi Chugh (CoRR, 2017)

Deuce: a lightweight user interface for structured editing. - Brian Hempel; Justin Lubin; Grace Lu; Ravi Chugh (ICSE, 2018)

Bidirectional evaluation with direct manipulation. - Mikaël Mayer; Viktor Kuncak; Ravi Chugh (Proc. ACM Program. Lang., 2018)

A Bidirectional Krivine Evaluator. - Mikaël Mayer; Ravi Chugh (Bx@PLW, 2019)

Sketch-n-Sketch: Output-Directed Programming for SVG. - Brian Hempel; Justin Lubin; Ravi Chugh (UIST, 2019)

Type-Directed Program Transformations for the Working Functional Programmer. - Justin Lubin; Ravi Chugh (PLATEAU@UIST, 2019)

Program Synthesis with Live Bidirectional Evaluation. - Justin Lubin; Nick Collins; Cyrus Omar; Ravi Chugh (CoRR, 2019)

Live functional programming with typed holes. - Cyrus Omar; Ian Voysey; Ravi Chugh; Matthew A. Hammer (Proc. ACM Program. Lang., 2019)

Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions). - Brian Hempel; Ravi Chugh (VL/HCC, 2020)

Program sketching with live bidirectional evaluation. - Justin Lubin; Nick Collins; Cyrus Omar; Ravi Chugh (Proc. ACM Program. Lang., 2020)

Integrated Visualization Editing via Parameterized Declarative Templates. - Andrew M. McNutt; Ravi Chugh (CHI, 2021)

Filling typed holes with live GUIs. - Cyrus Omar; David Moon; Andrew Blinn; Ian Voysey; Nick Collins; Ravi Chugh (PLDI, 2021)

Maniposynth: Bimodal Tangible Functional Programming. - Brian Hempel; Ravi Chugh (ECOOP, 2022)

A Study of Editor Features in a Creative Coding Classroom. - Andrew M. McNutt; Anton Outkine; Ravi Chugh (CHI, 2023)

Projectional Editors for JSON-Based DSLs. - Andrew M. McNutt; Ravi Chugh (VL/HCC, 2023)

Slowness, Politics, and Joy: Values That Guide Technology Choices in Creative Coding Classrooms. - Andrew M. McNutt; Sam Cohen; Ravi Chugh (CHI, 2025)

Code Style Sheets: CSS for Code. - Sam Cohen; Ravi Chugh (Proc. ACM Program. Lang., 2025)

Ragged Blocks: Rendering Structured Text with Style. - Sam Cohen; Ravi Chugh (CoRR, 2025)