Follow
Ravi Chugh
Ravi Chugh
Associate Professor, Computer Science, University of Chicago
Verified email at cs.uchicago.edu - Homepage
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
3282009
Dependent Types for JavaScript
R Chugh, D Herman, R Jhala
Object-Oriented Programming Languages, Systems, and Applications (OOPSLA 2012), 2012
1232012
Enforcing Stateful Authorization and Information Flow Policies in Fine
N Swamy, J Chen, R Chugh
European Symposium on Programming (ESOP 2010), 2010
1002010
Programmatic and Direct Manipulation, Together at Last
R Chugh, B Hempel, M Spradlin, J Albers
Programming Language Design and Implementation (PLDI 2016), 2016
812016
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
712012
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
67*2010
Sketch-n-Sketch: Output-Directed Programming for SVG
B Hempel, J Lubin, R Chugh
User Interface Software and Technology (UIST 2019), 2019
532019
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
512019
Semi-Automated SVG Programming via Direct Manipulation
B Hempel, R Chugh
User Interface Software and Technology (UIST 2016), 2016
502016
Bidirectional Evaluation with Direct Manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA 2018), 2018
362018
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
242020
Deuce: A Lightweight User Interface for Structured Editing
B Hempel, J Lubin, G Lu, R Chugh
International Conference on Software Engineering (ICSE 2018), 2018
222018
Integrated Visualization Editing via Parameterized Declarative Templates
AM McNutt, R Chugh
Conference on Human Factors in Computing Systems (CHI 2021), 2021
112021
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
9*2020
Golf Club Head Tracking
R Chugh, K de Mesa
CSE 190a Course Project, UCSD (2008), 2008
9*2008
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
8*2021
Prodirect Manipulation: Bidirectional Programming for the Masses
R Chugh
International Conference on Software Engineering Companion (ICSE-C 2016), 2016
82016
Nested Refinement Types for JavaScript
R Chugh
Ph.D. Thesis, UCSD (2013), 2013
52013
IsoLate: A Type System for Self-Recursion
R Chugh
European Symposium on Programming (ESOP 2015), 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20