 | 2012 |
|---|
| 7 |       | Ravi Chugh,
Patrick Maxim Rondon,
Ranjit Jhala:
Nested refinements: a logic for duck typing.
POPL 2012: 231-244 |
| 2011 |
|---|
| 6 | | Ravi Chugh,
Patrick Maxim Rondon,
Ranjit Jhala:
System D: Dependent Dynamic Dictionaries
CoRR abs/1103.5055: (2011) |
| 5 | | Ravi Chugh,
Ranjit Jhala:
Dependent Types for JavaScript
CoRR abs/1112.4106: (2011) |
| 2010 |
|---|
| 4 | | Nikhil Swamy,
Juan Chen,
Ravi Chugh:
Enforcing Stateful Authorization and Information Flow Policies in Fine.
ESOP 2010: 529-549 |
| 3 | | Juan Chen,
Ravi Chugh,
Nikhil Swamy:
Type-preserving compilation of end-to-end verification of security enforcement.
PLDI 2010: 412-423 |
| 2009 |
|---|
| 2 | | Ravi Chugh,
Jeffrey A. Meister,
Ranjit Jhala,
Sorin Lerner:
Staged information flow for javascript.
PLDI 2009: 50-62 |
| 2008 |
|---|
| 1 | | Ravi Chugh,
Jan Wen Voung,
Ranjit Jhala,
Sorin Lerner:
Dataflow analysis for concurrent programs using datarace detection.
PLDI 2008: 316-326 |
Data released under the ODC-BY 1.0 license — See also our legal information page