Sotabase

Career

· Associate Professor, University of Chicago Department of Computer Science2014–
· Postdoctoral Researcher, University of California, San Diego2013–
· Research Intern, Mozilla Research2012–
· Research Intern, Microsoft Research2009–
· Research Intern, University of California, San Diego2007–

Publications (44)

Staged information flow for javascript
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
259
cited
Sketch-n-Sketch: Output-Directed Programming for SVG
ACM Symposium on User Interface Software and Technology · 2019
105
cited
Dependent types for JavaScript
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2011
104
cited
Live functional programming with typed holes
Proc. ACM Program. Lang. · 2018
100
cited
Programmatic and direct manipulation, together at last
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
87
cited
Enforcing Stateful Authorization and Information Flow Policies in Fine
European Symposium on Programming · 2010
80
cited
Nested refinements: a logic for duck typing
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
55
cited
Semi-Automated SVG Programming via Direct Manipulation
ACM Symposium on User Interface Software and Technology · 2016
50
cited
Program sketching with live bidirectional evaluation
Proc. ACM Program. Lang. · 2019
47
cited
Type-preserving compilation of end-to-end verification of security enforcement
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2010
47
cited
Bidirectional evaluation with direct manipulation
Proc. ACM Program. Lang. · 2018
46
cited
Integrated Visualization Editing via Parameterized Declarative Templates
International Conference on Human Factors in Computing Systems · 2021
44
cited
Filling typed holes with live GUIs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
41
cited
Deuce: A Lightweight User Interface for Structured Editing
International Conference on Software Engineering · 2017
32
cited
A Study of Editor Features in a Creative Coding Classroom
International Conference on Human Factors in Computing Systems · 2023
15
cited
Prodirect Manipulation: Bidirectional Programming for the Masses
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C) · 2015
10
cited
Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions)
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2020
8
cited
Nested Refinement Types for JavaScript
2013
6
cited
Nested Refinements for Dynamic Languages
2011
5
cited
Maniposynth: Bimodal Tangible Functional Programming
European Conference on Object-Oriented Programming · 2022
4
cited
Sotabase
Ravi Chugh | Researcher Profile | Sotabase | Sotabase