@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},
}