关注
Ravi Chugh
Ravi Chugh
Associate Professor, Computer Science, University of Chicago
在 cs.uchicago.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Staged Information Flow for JavaScript
R Chugh, JA Meister, R Jhala, S Lerner
Programming Language Design and Implementation (PLDI 2009), 2009
3402009
Dependent Types for JavaScript
R Chugh, D Herman, R Jhala
Object-Oriented Programming Languages, Systems, and Applications (OOPSLA 2012), 2012
1342012
Sketch-n-Sketch: Output-Directed Programming for SVG
B Hempel, J Lubin, R Chugh
User Interface Software and Technology (UIST 2019), 2019
1132019
Programmatic and Direct Manipulation, Together at Last
R Chugh, B Hempel, M Spradlin, J Albers
Programming Language Design and Implementation (PLDI 2016), 2016
1062016
Enforcing Stateful Authorization and Information Flow Policies in Fine
N Swamy, J Chen, R Chugh
European Symposium on Programming (ESOP 2010), 2010
1062010
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
922019
Nested Refinements: A Logic for Duck Typing
R Chugh, PM Rondon, R Jhala
Principles of Programming Languages (POPL 2012), 2012
802012
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
612016
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
492020
Bidirectional Evaluation with Direct Manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA 2018), 2018
442018
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
382021
Deuce: A Lightweight User Interface for Structured Editing
B Hempel, J Lubin, G Lu, R Chugh
International Conference on Software Engineering (ICSE 2018), 2018
372018
Integrated Visualization Editing via Parameterized Declarative Templates
AM McNutt, R Chugh
Conference on Human Factors in Computing Systems (CHI 2021), 2021
312021
Prodirect Manipulation: Bidirectional Programming for the Masses
R Chugh
International Conference on Software Engineering Companion (ICSE-C 2016), 2016
142016
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
12*2020
Golf Club Head Tracking
R Chugh, K de Mesa
CSE 190a Course Project, UCSD (2008), 2008
11*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
92023
Maniposynth: Bimodal Tangible Functional Programming
B Hempel, R Chugh
European Conference on Object-Oriented Programming (ECOOP 2022), 2022
82022
系统目前无法执行此操作,请稍后再试。
文章 1–20