Ravi Chugh
Title
Cited by
Cited by
Year
Staged Information Flow for JavaScript
R Chugh, JA Meister, R Jhala, S Lerner
Programming Language Design and Implementation (PLDI 2009), 2009
3072009
Dependent Types for JavaScript
R Chugh, D Herman, R Jhala
Object-Oriented Programming Languages, Systems, and Applications (OOPSLA 2012), 2012
1162012
Enforcing Stateful Authorization and Information Flow Policies in Fine
N Swamy, J Chen, R Chugh
European Symposium on Programming (ESOP 2010), 2010
992010
Dataflow Analysis for Concurrent Programs Using Datarace Detection
R Chugh, JW Voung, R Jhala, S Lerner
Programming Language Design and Implementation (PLDI 2008), 2008
712008
Nested Refinements: A Logic for Duck Typing
R Chugh, PM Rondon, R Jhala
Principles of Programming Languages (POPL 2012), 2012
682012
Type-Preserving Compilation of End-to-End Verification of Security Enforcement
J Chen, R Chugh, N Swamy
Programming Language Design and Implementation (PLDI 2010), 2010
59*2010
Programmatic and Direct Manipulation, Together at Last
R Chugh, B Hempel, M Spradlin, J Albers
Programming Language Design and Implementation (PLDI 2016), 2016
552016
Semi-Automated SVG Programming via Direct Manipulation
B Hempel, R Chugh
User Interface Software and Technology (UIST 2016), 2016
332016
Live Functional Programming with Typed Holes
C Omar, I Voysey, R Chugh, MA Hammer
Proceedings of the ACM on Programming Languages 3 (POPL 2019), 2019
252019
Bidirectional Evaluation with Direct Manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA 2018), 2018
222018
Sketch-n-Sketch: Output-Directed Programming for SVG
B Hempel, J Lubin, R Chugh
User Interface Software and Technology (UIST 2019), 2019
172019
Deuce: A Lightweight User Interface for Structured Editing
B Hempel, J Lubin, G Lu, R Chugh
International Conference on Software Engineering (ICSE 2018), 2018
102018
Prodirect Manipulation: Bidirectional Programming for the Masses
R Chugh
International Conference on Software Engineering Companion (ICSE-C 2016), 2016
72016
Golf Club Head Tracking
R Chugh, K de Mesa
CSE 190a Course Project, UCSD (2008), 2008
7*2008
Nested Refinement Types for JavaScript
R Chugh
Ph.D. Thesis, UCSD (2013), 2013
52013
Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions)
B Hempel, R Chugh
Visual Languages and Human-Centric Computing (VL/HCC 2020), 2020
4*2020
Program Sketching with Live Bidirectional Evaluation
J Lubin, N Collins, C Omar, R Chugh
Proceedings of the ACM on Programming Languages 4 (ICFP 2020), 2020
42020
IsoLate: A Type System for Self-Recursion
R Chugh
European Symposium on Programming (ESOP 2015), 2015
22015
A Fix for Dynamic Scope
R Chugh
Workshop on ML (ML 2013), 2013
22013
Livelits: Filling Typed Holes with Live GUIs
C Omar, N Collins, D Moon, I Voysey, R Chugh
Workshop on Type-Driven Development (TyDe 2019), 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20