I am on the academic job market: my application materials

Software

Most of my academic and personal software is open-source. A few academic systems:

• ADsafety is a project to verify and find bugs in language-based Web sandboxes, using our type system for λ_JS. Our paper presents general, type-based techniques and applies them to verify ADsafe.
• λ_JS is a small core language that features the essentials of JavaScript. We also implement and test a preprocessor that maps JavaScript programs to equivalent λ_JS programs.
• Flapjax is a functional-reactive programming language for Ajax applications.
• Resume and Continue are production systems built with Flapjax.
• Google Belay is a research project studying identity and sharing on the Web.
• Apply2 is used by the computer science department to manage graduate student applications. It draws on ideas from Flapjax and Belay.
• Fine is a security-typed language. It has a JavaScript backend based on λ_JS.
• The software that accompanies PLAI includes student-friendly programming languages for writing garbage collectors and Web servers.
• TestFest is a Web service that lets students test their programming assignments using other students' test suites. We use it in Brown's programming languages course.

Publications

• Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. ADsafety: Type-based Verification of JavaScript Sandboxing. USENIX Security 2011.
• Arjun Guha, Matthew Fredrikson, Benjamin Livshits, and Nikhil Swamy. Verified Security for Browser Extensions. Oakland 2011.
• Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. Typing Local Control and State Using Flow Analysis. ESOP 2011.
• Arjun Guha and Shriram Krishnamurthi. Minding the (Semantic) Gap: Engineering Programming Language Theory. FoSER 2010.
• Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. The Essence of JavaScript. ECOOP 2010.
• Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A Programming Language for Ajax Applications. OOPSLA 2009. Best Student Paper Award.
• Arjun Guha, Shriram Krishnamurthi, and Trevor Jim. Using Static Analysis for Ajax Intrusion Detection. WWW 2009.
• Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-Parametric Polymorphic Contracts. DLS 2007.

Drafts Under Review

• Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, and Shriram Krishnamurthi. Participatory Networking. Under review.
• Arjun Guha, Joe Gibbs Politz, and Shriram Krishnamurthi. Fluid object types. Under review.
• Gregory H. Cooper, Arjun Guha, and Shriram Krishnamurthi. Eliminating the Middle Man: Learning Garbage Collection without Interpreters. Under review.