Ravi Chugh
University of Chicago(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Software Engineering Research, Software Testing and Debugging Techniques, Teaching and Learning Programming, Advanced Malware Detection Techniques
Most-Cited Works
- → Staged information flow for javascript(2009)234 cited
- → Dependent types for JavaScript(2012)89 cited
- → Sketch-n-Sketch(2019)80 cited
- → Enforcing Stateful Authorization and Information Flow Policies in Fine(2010)79 cited
- → Programmatic and direct manipulation, together at last(2016)62 cited
- → Dataflow analysis for concurrent programs using datarace detection(2008)59 cited
- → Type-preserving compilation of end-to-end verification of security enforcement(2010)36 cited
- → Nested refinements(2012)36 cited
- → Integrated Visualization Editing via Parameterized Declarative Templates(2021)35 cited
- → Bidirectional evaluation with direct manipulation(2018)35 cited