@inproceedings{pldi08-radar,
 author    = {Ravi Chugh and Jan W. Voung and Ranjit Jhala and Sorin Lerner},
 title     = {Dataflow analysis for concurrent programs using datarace detection},
 booktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation},
 series    = {PLDI '08},
 year      = {2008},
 isbn      = {978-1-59593-860-2},
 pages     = {316--326},
 numpages  = {11},
 location  = {Tucson, AZ, USA},
 doi       = {http://doi.acm.org/10.1145/1375581.1375620}},
 publisher = {ACM},
 address   = {New York, NY, USA},
}

@inproceedings{pldi09-sif,
 author    = {Ravi Chugh and Jeffrey A. Meister and Ranjit Jhala and Sorin Lerner},
 title     = {Staged information flow for javascript},
 booktitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 series    = {PLDI '09},
 year      = {2009},
 isbn      = {978-1-60558-392-1},
 location  = {Dublin, Ireland},
 pages     = {50--62},
 numpages  = {13},
 doi       = {http://doi.acm.org/10.1145/1542476.1542483},
 publisher = {ACM},
 address   = {New York, NY, USA},
} 

@inproceedings{esop10-fine,
 author    = {Nikhil Swamy and Juan Chen and Ravi Chugh},
 title     = {Enforcing Stateful Authorization and Information Flow Policies in Fine},
 booktitle = {European Symposium on Programming},
 year      = {2010},
 pages     = {529-549},
 ee        = {http://dx.doi.org/10.1007/978-3-642-11957-6_28},
 crossref  = {DBLP:conf/esop/2010},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{pldi10-fine,
 author    = {Juan Chen and Ravi Chugh and Nikhil Swamy},
 title     = {Type-preserving compilation of end-to-end verification of security enforcement},
 booktitle = {Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation},
 series    = {PLDI '10},
 year      = {2010},
 isbn      = {978-1-4503-0019-3},
 location  = {Toronto, Ontario, Canada},
 pages     = {412--423},
 numpages  = {12},
 doi       = {http://doi.acm.org/10.1145/1806596.1806643},
 publisher = {ACM},
 address   = {New York, NY, USA},
}