I am a third-year doctoral student of Computer Science.

You may use my GnuPG public key for sensitive messages.

My stance on the Emacs vs. ViM debate.ViM

Current Projects

• Type systems for Web applications
• Some recent open-source projects on GitHub
• Flapjax: a lightweight framework for functional-reactive programming
• Resume and Continue: production systems built with Flapjax

Past Projects

• Intrusion detection for Ajax applications
• The software that accompanies Programming Languages: Application and Interpretation

Publications

• Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi. Flapjax: A Programming Language for Ajax Applications. OOPSLA 2009 (to appear, draft).
• 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.