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
3442009
Dependent Types for JavaScript
R Chugh, D Herman, R Jhala
Object-Oriented Programming Languages, Systems, and Applications (OOPSLA 2012), 2012
1312012
Enforcing Stateful Authorization and Information Flow Policies in Fine
N Swamy, J Chen, R Chugh
European Symposium on Programming (ESOP 2010), 2010
1062010
Programmatic and Direct Manipulation, Together at Last
R Chugh, B Hempel, M Spradlin, J Albers
Programming Language Design and Implementation (PLDI 2016), 2016
1012016
Sketch-n-Sketch: Output-Directed Programming for SVG
B Hempel, J Lubin, R Chugh
User Interface Software and Technology (UIST 2019), 2019
1002019
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
822019
Nested Refinements: A Logic for Duck Typing
R Chugh, PM Rondon, R Jhala
Principles of Programming Languages (POPL 2012), 2012
792012
Dataflow Analysis for Concurrent Programs Using Datarace Detection
R Chugh, JW Voung, R Jhala, S Lerner
Programming Language Design and Implementation (PLDI 2008), 2008
772008
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
Semi-Automated SVG Programming via Direct Manipulation
B Hempel, R Chugh
User Interface Software and Technology (UIST 2016), 2016
592016
Bidirectional Evaluation with Direct Manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA 2018), 2018
422018
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
372020
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
332021
Deuce: A Lightweight User Interface for Structured Editing
B Hempel, J Lubin, G Lu, R Chugh
International Conference on Software Engineering (ICSE 2018), 2018
312018
Integrated Visualization Editing via Parameterized Declarative Templates
AM McNutt, R Chugh
Conference on Human Factors in Computing Systems (CHI 2021), 2021
282021
Prodirect Manipulation: Bidirectional Programming for the Masses
R Chugh
International Conference on Software Engineering Companion (ICSE-C 2016), 2016
122016
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
10*2020
Golf Club Head Tracking
R Chugh, K de Mesa
CSE 190a Course Project, UCSD (2008), 2008
9*2008
A Study of Editor Features in a Creative Coding Classroom
AM Mcnutt, A Outkine, R Chugh
Conference on Human Factors in Computing Systems (CHI 2023), 2023
72023
Nested Refinement Types for JavaScript
R Chugh
Ph.D. Thesis, UCSD (2013), 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20