Papers
Hierarchical Policies for Software Defined Networks
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram
Krishnamurthi
USENIX Workshop on Hot Topics in Software Defined Networking (HotSDN) 2012
Participatory Networking
Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, and
Shriram Krishnamurthi
USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (HotICE) 2012
ADsafety: Type-based Verification of JavaScript Sandboxing
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and
Shriram Krishnamurthi
USENIX Security Symposium 2011
Verified Security for Browser Extensions
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, and Nikhil Swamy
IEEE Security and Privacy (Oakland) 2011
Typing Local Control and State Using Flow Analysis
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi
European Symposium on Programming (ESOP) 2011
Minding the (Semantic) Gap: Engineering Programming Language Theory
Arjun Guha and Shriram Krishnamurthi
Workshop on the Future of Software Engineering Research (FoSER) 2011
Position Paper
The Essence of JavaScript
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi
European Conference on Object Oriented Programming (ECOOP) 2010
Flapjax: A Programming Language for Ajax Applications
Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory Cooper, Michael
Greenberg, Aleks Bromfield, and Shriram Krishnamurthi
Object Oriented Programming, Systems, Languages and Applications (OOPSLA) 2009
Best Student Paper Award
Using Static Analysis for Ajax Intrusion Detection
Arjun Guha, Shriram Krishnamurthi, and Trevor Jim
World Wide Web Conference (WWW) 2009