Joseph Spitzer, Joydeep Biswas, and Arjun Guha. Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing. Educational Advances in Artificial Intelligence (EAAI), 2020
Christopher Rybicki. Compiling from a typed dialect of Scheme to WebAssembly. University of Massachusetts Amherst, 2020
Abhinav Jangda and Arjun Guha. Model-Based Warp-Level Tiling for Image Processing Programs on GPUs. , 2019
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. Formal Foundations of Serverless Computing. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2019. Distinguished Paper Award
Abhinav Jangda, Bobby Powers, Emery Berger, and Arjun Guha. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX ;login:, 2019
Abhinav Jangda, Bobby Powers, Emery Berger, and Arjun Guha. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX Annual Technical Conference (ATC), 2019
Emily Herbert and Arjun Guha. A Language-based Serverless Function Accelerator. , 2019
Jenna Claire Hammond, Joydeep Biswas, and Arjun Guha. Automatic Failure Recovery for End-User Programs on Service Mobile Robots. , 2019
Samuel Baxter. A JavaScript Programming Model for Serverless Compositions. University of Massachusetts Amherst, 2019
Jonathan Aldrich, David Garlan, Christian Kaestner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Camara, and Pooyan Jamshidi. Model-Based Adaptation for Robotics Software. IEEE Software, 2019
Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence (IJCAI-ECAI), 2018
Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018. Demo Track, Most Innovative Demo Award
Javier Burroni, Arjun Guha, and David Jensen. Interactive Writing and Debugging of Bayesian Probabilistic Programs. Probabilistic Programming Languages, Semantics, and Systems (PPS), 2018
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha. Putting in All the Stops: Execution Control for JavaScript. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2018
Aaron Weiss, Arjun Guha, and Yuriy Brun. Tortoise: Interactive System Configuration Repair. IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen and Rian Shambaugh. Fission: Secure Dynamic Code-Splitting for JavaScript. Summit on Advances in Programming Languages (SNAPL 2017), 2017
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
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
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
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
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
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. Participatory Networking: An API for Application Control in SDNs. ACM SIGCOMM, 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
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, 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. Semantics and Types for Safe Web Programming. Brown University, 2012. PhD Dissertation
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
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 and Shriram Krishnamurthi. Minding the (Semantic) Gap: Engineering Programming Language Theory. Workshop on the Future of Software Engineering Research (FoSER), 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, Most Influential Paper Award (Awarded in 2019)
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