Ravi Chugh

According to our database1, Ravi Chugh authored at least 26 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Filling typed holes with live GUIs.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Integrated Visualization Editing via Parameterized Declarative Templates.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020
Program sketching with live bidirectional evaluation.
Proc. ACM Program. Lang., 2020

Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions).
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

2019
Live functional programming with typed holes.
Proc. ACM Program. Lang., 2019

Program Synthesis with Live Bidirectional Evaluation.
CoRR, 2019

Type-Directed Program Transformations for the Working Functional Programmer.
Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Sketch-n-Sketch: Output-Directed Programming for SVG.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

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

2018
Bidirectional evaluation with direct manipulation.
Proc. ACM Program. Lang., 2018

Deuce: a lightweight user interface for structured editing.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Lightweight Structured Editing with Direct Manipulation.
CoRR, 2017

2016
Semi-Automated SVG Programming via Direct Manipulation.
Proceedings of the 29th Annual Symposium on User Interface Software and Technology, 2016

Programmatic and direct manipulation, together at last.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Prodirect manipulation: bidirectional programming for the masses.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Program Synthesis for Direct Manipulation Interfaces.
CoRR, 2015

IsoLATE: A Type System for Self-recursion.
Proceedings of the Programming Languages and Systems, 2015

2013
Nested Refinement Types for JavaScript.
PhD thesis, 2013

2012
Nested refinements: a logic for duck typing.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Dependent types for JavaScript.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
Dependent Types for JavaScript
CoRR, 2011

System D: Dependent Dynamic Dictionaries
CoRR, 2011

2010
Type-preserving compilation of end-to-end verification of security enforcement.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Enforcing Stateful Authorization and Information Flow Policies in Fine.
Proceedings of the Programming Languages and Systems, 2010

2009
Staged information flow for javascript.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Dataflow analysis for concurrent programs using datarace detection.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008


  Loading...