Ravi Chugh

According to our database, Ravi Chugh authored at least 29 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Projectional Editors for JSON-Based DSLs.

Andrew M. McNutt, Ravi Chugh

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

A Study of Editor Features in a Creative Coding Classroom.

Andrew M. McNutt, Anton Outkine, Ravi Chugh

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

Maniposynth: Bimodal Tangible Functional Programming.

Brian Hempel, Ravi Chugh

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Filling typed holes with live GUIs.

Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Integrated Visualization Editing via Parameterized Declarative Templates.

Andrew M. McNutt, Ravi Chugh

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Program sketching with live bidirectional evaluation.

Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh

Proc. ACM Program. Lang., 2020

Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions).

Brian Hempel, Ravi Chugh

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

2019

Live functional programming with typed holes.

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Proc. ACM Program. Lang., 2019

Program Synthesis with Live Bidirectional Evaluation.

Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh

CoRR, 2019

Type-Directed Program Transformations for the Working Functional Programmer.

Justin Lubin, Ravi Chugh

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Sketch-n-Sketch: Output-Directed Programming for SVG.

Brian Hempel, Justin Lubin, Ravi Chugh

Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

A Bidirectional Krivine Evaluator.

Mikaël Mayer, Ravi Chugh

Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018

Bidirectional evaluation with direct manipulation.

Mikaël Mayer, Viktor Kuncak, Ravi Chugh

Proc. ACM Program. Lang., 2018

Deuce: a lightweight user interface for structured editing.

Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Lightweight Structured Editing with Direct Manipulation.

Brian Hempel, Grace Lu, Ravi Chugh

CoRR, 2017

2016

Semi-Automated SVG Programming via Direct Manipulation.

Brian Hempel, Ravi Chugh

Proceedings of the 29th Annual Symposium on User Interface Software and Technology, 2016

Programmatic and direct manipulation, together at last.

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Prodirect manipulation: bidirectional programming for the masses.

Ravi Chugh

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Program Synthesis for Direct Manipulation Interfaces.

Ravi Chugh, Jacob Albers, Mitchell Spradlin

CoRR, 2015

IsoLATE: A Type System for Self-recursion.

Ravi Chugh

Proceedings of the Programming Languages and Systems, 2015

2013

Nested Refinement Types for JavaScript.

Ravi Chugh

PhD thesis, 2013

2012

Nested refinements: a logic for duck typing.

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Dependent types for JavaScript.

Ravi Chugh, David Herman, Ranjit Jhala

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Dependent Types for JavaScript

Ravi Chugh, Ranjit Jhala

CoRR, 2011

System D: Dependent Dynamic Dictionaries

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala

CoRR, 2011

2010

Type-preserving compilation of end-to-end verification of security enforcement.

Juan Chen, Ravi Chugh, Nikhil Swamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Enforcing Stateful Authorization and Information Flow Policies in Fine.

Nikhil Swamy, Juan Chen, Ravi Chugh

Proceedings of the Programming Languages and Systems, 2010

2009

Staged information flow for javascript.

Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Dataflow analysis for concurrent programs using datarace detection.

Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008