Journal Papers

Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. Type-based Verification of JavaScript Sandboxing. Journal of Computer Security, 2014

Mart├Čn Casado, Nate Foster, and Arjun Guha. Abstractions for Software-Defined Networks. Communications of the ACM (CACM), 2014

Conference Papers

Karla Saur, Joseph Collard, Nate Foster, Arjun Guha, Laurent Vanbever, and Michael Hicks. Morpheus: Safe and Flexible Controller Upgrades for SDNs. Symposium on SDN Research (SOSR), 2016

Rian Shambaugh, Aaron Weiss, and Arjun Guha. Rehearsal: A Configuration Verification Tool for Puppet. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2016. Distinguished Artifact Award

Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, and Shriram Krishnamurthi. The Sweep: Essential Examples for In-Flow Peer Review. ACM Technical Symposium on Computer Science Education (SIGCSE), 2016

Steffen Smolka, Spiridon Eliopoulos, Nate Foster, Arjun Guha. A Fast Compiler for NetKAT. ACM SIGPLAN International Conference on Functional Programming (ICFP), 2015. ACM SIGPLAN Research Highlight

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic Foundations for Networks. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. TeJaS: Retrofitting Type Systems for JavaScript. Dynamic Languages Symposium (DLS), 2013

Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. Participatory Networking: An API for Application Control in SDNs. ACM SIGCOMM, 2013

Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay McCarthy, and Robert Bruce Findler. Teaching Garbage Collection without Implementing Compilers or Interpreters. ACM Technical Symposium on Computer Science Education (SIGCSE), 2013

Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. ADsafety: Type-based Verification of JavaScript Sandboxing. USENIX Security Symposium, 2011

Arjun Guha, Matthew Fredrikson, Benjamin Livshits, and Nikhil Swamy. Verified Security for Browser Extensions. IEEE Security and Privacy (Oakland), 2011

Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. Typing Local Control and State Using Flow Analysis. European Symposium on Programming (ESOP), 2011

Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. The Essence of JavaScript. European Conference on Object Oriented Programming (ECOOP), 2010

Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A Programming Language for Ajax Applications. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2009. Best Student Paper Award

Arjun Guha, Shriram Krishnamurthi, and Trevor Jim. Using Static Analysis for Ajax Intrusion Detection. World Wide Web Conference (WWW), 2009

Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-Parametric Polymorphic Contracts. Dynamic Languages Symposium (DLS), 2007

Workshop Papers

Mark Reitblatt, Marco Canini, Arjun Guha, and Nate Foster. FatTire: Declarative Fault Tolerance for Software Defined Networks. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2013

Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. A Balance of Power: Expressive, Analyzable Controller Programming. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2013

Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. Semantics and Types for Objects with First-Class Member Names. Workshop on Foundations of Object-Oriented Languages (FOOL), 2012

Arjun Guha, Benjamin S. Lerner, Joe Gibbs Politz, and Shriram Krishnamurthi. Web API Verification: Results and Challenges. Analysis of Security APIs (ASA), 2012

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. Hierarchical Policies for Software Defined Networks. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2012

Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, and Shriram Krishnamurthi. Participatory Networking. USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (HotICE), 2012

Arjun Guha and Shriram Krishnamurthi. Minding the (Semantic) Gap: Engineering Programming Language Theory. Workshop on the Future of Software Engineering Research (FoSER), 2011

Extended Abstracts and Other Articles

Arjun Guha, Mark Reitblatt, and Nate Foster. Formal Foundations for Software Defined Networks. Open Networking Summit (ONS) Research Track, 2013

The Frenetic Contributors. The Frenetic Network Controller. The OCaml Users and Developers Workshop, 2013

Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, and David Walker. Languages for Software-Defined Networks. IEEE Communications Magazine 51(2):128-134, 2013

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. A Northbound API for Sharing SDNs. Open Networking Summit (ONS) Research Track, 2013

Dissertations

Arjun Guha. Semantics and Types for Safe Web Programming. Brown University, 2012. PhD Dissertation