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
3222009
Dependent Types for JavaScript
R Chugh, D Herman, R Jhala
Object-Oriented Programming Languages, Systems, and Applications (OOPSLA 2012), 2012
1202012
Enforcing Stateful Authorization and Information Flow Policies in Fine
N Swamy, J Chen, R Chugh
European Symposium on Programming (ESOP 2010), 2010
1012010
Dataflow Analysis for Concurrent Programs Using Datarace Detection
R Chugh, JW Voung, R Jhala, S Lerner
Programming Language Design and Implementation (PLDI 2008), 2008
752008
Nested Refinements: A Logic for Duck Typing
R Chugh, PM Rondon, R Jhala
Principles of Programming Languages (POPL 2012), 2012
692012
Programmatic and Direct Manipulation, Together at Last
R Chugh, B Hempel, M Spradlin, J Albers
Programming Language Design and Implementation (PLDI 2016), 2016
652016
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
65*2010
Semi-Automated SVG Programming via Direct Manipulation
B Hempel, R Chugh
User Interface Software and Technology (UIST 2016), 2016
412016
Sketch-n-Sketch: Output-Directed Programming for SVG
B Hempel, J Lubin, R Chugh
User Interface Software and Technology (UIST 2019), 2019
352019
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
352019
Bidirectional Evaluation with Direct Manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA 2018), 2018
282018
Deuce: A Lightweight User Interface for Structured Editing
B Hempel, J Lubin, G Lu, R Chugh
International Conference on Software Engineering (ICSE 2018), 2018
182018
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
102020
Golf Club Head Tracking
R Chugh, K de Mesa
CSE 190a Course Project, UCSD (2008), 2008
7*2008
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
6*2020
Prodirect Manipulation: Bidirectional Programming for the Masses
R Chugh
International Conference on Software Engineering Companion (ICSE-C 2016), 2016
62016
Nested Refinement Types for JavaScript
R Chugh
Ph.D. Thesis, UCSD (2013), 2013
52013
Integrated Visualization Editing via Parameterized Declarative Templates
AM McNutt, R Chugh
Conference on Human Factors in Computing Systems (CHI 2021), 1-14, 2021
32021
Filling Typed Holes with Live GUIs
C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh
Programming Language Design and Implementation (PLDI 2021), 2021
2*2021
IsoLate: A Type System for Self-Recursion
R Chugh
European Symposium on Programming (ESOP 2015), 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20