dissertation

  1. Nested Refinement Types for JavaScript. [ slides ]
    University of California, San Diego, September 2013

conference papers

  1. Ravi Chugh, David Herman, and Ranjit Jhala. Dependent Types for JavaScript. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 587-606, Tucson, AZ, October 2012.

  2. Ravi Chugh, Patrick M. Rondon, and Ranjit Jhala. Nested Refinements: A Logic for Duck Typing. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 231-244, Philadelphia, PA, January 2012.

  3. Juan Chen, Ravi Chugh, and Nikhil Swamy. Type-preserving Compilation for End-to-end Verification of Security Enforcement. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 412-423, Toronto, Canada, June 2010.

  4. Nikhil Swamy, Juan Chen, and Ravi Chugh. Enforcing Stateful Authorization and Information Flow Policies in Fine. In Proceedings of the 19th European Symposium on Programming (ESOP), pages 529-549, Paphos, Cyprus, March 2010.

  5. Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, and Sorin Lerner. Staged Information Flow for JavaScript. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 50-62, Dublin, Ireland, June 2009.

  6. Ravi Chugh, Jan W. Voung, Ranjit Jhala, and Sorin Lerner. Dataflow Analysis for Concurrent Programs using Datarace Detection. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 316-326, Tucson, AZ, June 2008.

workshop papers

  1. Ravi Chugh. A Fix for Dynamic Scope. In ACM SIGPLAN Workshop on ML (ML), Boston, Massachusetts, September 2013.

  2. Ravi Chugh, David Herman, and Ranjit Jhala. Status Report: Dependent Types for JavaScript. In International Workshop on Script to Program Evolution (STOP), Beijing, China, June 2012.

  3. Ravi Chugh, Ranjit Jhala, and Sorin Lerner. Type Inference with Run-time Logs. In 2nd International Workshop on Script to Program Evolution (STOP), Austin, TX, January 2011.