recent news
–
Presented
Nested Refinements at POPL
[Jan 26]
–
Started an internship at Mozilla Research in the Bay Area
[Jan 9]
–
Heading to Dagstuhl for the seminar
Foundations of Scripting Languages
[Dec 31]
–
Defended my thesis proposal for "Nested Refinement
Types for Dynamic Languages"
[Nov 16]
conference and workshop papers
Ravi Chugh and Ranjit Jhala.
Dependent Types for JavaScript.
Draft under review. December 2012.
[
system d ]
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),
Philadelphia, PA, January 2012.
[
abstract
|
.pdf
|
slides
.pdf
|
.bib
|
system d ]
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.
[
abstract
|
.pdf
|
slides
|
.bib ]
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.
[
abstract
|
.pdf
|
.bib ]
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.
[
abstract
|
.pdf
|
tr.pdf
|
.bib ]
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.
[
abstract
|
.pdf
|
slides
(video)
|
.bib ]
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.
[
abstract
|
.pdf
|
.bib ]
teaching experience
@ University of California, San Diego:
- CSE 130:
Programming Languages: Principles and Paradigms (TA, Winter 2009, 2010)
@ University of Pennsylvania:
- Computer Science,
SAAST (co-instructor,
July 2007)
- CIT 596:
Mathematical Foundations of Computer Science II (TA, Spring 2007)
- CIT 592:
Mathematical Foundations of Computer Science I (TA, Fall 2006)
- CIS 399:
Introduction to C# (TA, Spring 2006, 2007)
- CIS 121:
Programming Languages and Techniques II (TA, Spring 2005)
- CIS 120:
Programming Languages and Techniques I (TA, Fall 2004, 2005)
teaching manuscripts
Introduction to Hardware and Software Algorithms
(105 pages, 1 MB)
A brief introduction to basic ideas in logic gates, combinatorial circuits,
and the analysis of software algorithms.
Developed for a 3-week introduction to computer programming and science course
at the University of Pennsylvania's Applied Science and Technology summer camp.
