Papers
Hygienic Resugaring of Compositional Desugaring
Justin Pombrio, and Shriram Krishnamurthi
International Conference on Functional Programming, 2015
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi
SPLASH Onward!, 2015
Resugaring: Lifting Evaluation Sequences through Syntactic Sugar
Justin Pombrio, and Shriram Krishnamurthi
Programming Language Design and Implementation, 2015
Type-Based Verification of Web Sandboxes
Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi
Journal of Computer Security 2014
Preliminary version appeared as:
ADsafety: Type-based Verification of JavaScript Sandboxing
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi
USENIX Security Symposium 2011
TeJaS: Retrofitting Type Systems for JavaScript
Benjamin Lerner, Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi
Dyanmic Languages Symposium (DLS) 2013
Whalesong: Running Racket in the Browser
Danny Yoo and Shriram Krishnamurthi
Dyanmic Languages Symposium (DLS) 2013
Verifying Web Browser Extensions' Compliance with Private Browsing Mode
Benjamin S. Lerner, Liam Elberty, Jincheng Li, and Shriram Krishnamurthi
European Symposium on Research in Computer Security (ESORICS) 2013
Combining Form and Function: Static Types for JQuery Functions
Benjamin Lerner, Liam Elberty, Jincheng Li and Shriram Krishnamurthi
European Conference on Object-Oriented Programming (ECOOP) 2013
A Tested Semantics for Getters, Setters, and Eval in JavaScript
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, and Shriram Krishnamurthi
Dynamic Languages Symposium (DLS) 2012
Detecting Conflicts Among Declarative UI Extensions
Benjamin Lerner and Dan Grossman
Dynamic Languages Symposium (DLS) 2012
Progressive Types
Joe Gibbs Politz, Hannah Quay-de la Vallee, and Shriram Krishnamurthi
Onward! 2012
Semantics and Types for Objects with First-Class Member Names
Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi
Foundations of Object Oriented Languages (FOOL) 2012
Web API Verification: Results and Challenges (Extended Abstract)
Arjun Guha, Ben Lerner, Joe Gibbs Politz, and Shriram Krishnamurthi
Analysis of Security APIs (ASA) 2012
Modeling and Reasoning About DOM Events
Benjamin S. Lerner, Matt Carroll, Dan Kimmel, Hannah Quay-de la Vallee and Shriram Krishnamurthi
USENIX Conference on Web Application Development (WebApps) 2012
Typing Local Control and State Using Flow
Analysis
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi
European Symposium on Programming (ESOP) 2011
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
Using Static Analysis for Ajax Intrusion Detection
Arjun Guha, Shriram Krishnamurthi, and Trevor Jim
World Wide Web Conference (WWW) 2009
Automatically Restructuring Programs for the Web
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, and Matthias Felleisen
Automated Software Engineering Journal, 2004
Preliminary version appeared as:
Automatically Restructuring Programs for the Web
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, and Matthias Felleisen
IEEE International Symposium on Automated Software Engineering, 2001
Modeling Web Interactions and Errors
Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, and Matthias Felleisen
Interactive Computation: The New Paradigm, 2006
Preliminary version appeared as:
Modeling Web Interactions
Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, and Matthias Felleisen
European Symposium on Programming, 2001
Implementation and Use of the PLT Scheme Web Server
Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, and Matthias Felleisen
Higher-Order and Symbolic Computation, 2007
Preliminary version appeared as:
Programming the Web with High-Level Programming Languages
Paul T. Graunke, Shriram Krishnamurthi, Steve van der Hoeven, and Matthias Felleisen
European Symposium on Programming, 2001