- Minimal Backups of Cryptographic Protocol Runs Jay A. McCarthy
- Advanced Control Flows for Flexible Graphical User Interfaces
- Applying Module System Research to Package Management David B. Tucker
- A Model of Garbage Collection for OO Languages
- Towards Reasonability Properties for Access-Control Policy Languages
- Verifying Interactive Web Programs Daniel R. Licata and Shriram Krishnamurthi
- Foundations of Incremental Aspect Model-Checking Shriram Krishnamurthi
- The Continue Server (or, How I Administered PADL 2002 and 2003)
- Validating the Unit Correctness of Spreadsheet Programs # Tudor Antoniu +
- Please Continue to Hold An empirical study on user tolerance of security delays
- Programming the Web with High-Level Programming Languages
- july 2009 | vol. 52 | no. 7 | communications of the acm 1 doi:10.1145/1538788.1538803 Matthias Felleisen and Shriram Krishnamurthi
- The Essence of JavaScript Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi
- Measuring the Effectiveness of Error Messages Designed for Novice Programmers
- Embedding Dynamic Dataflow in a Call-by-Value Language
- DrScheme: A Pedagogic Programming Environment for Scheme
- Toward a Formal Theory of Extensible Software \Lambda Shriram Krishnamurthi Matthias Felleisen
- Verifying Component-Based Collaboration Designs Kathi Fisler1, Shriram Krishnamurthi2, and Don Batory3
- The Feature Signatures of Evolving Programs Daniel R. Licata, Christopher D. Harris and Shriram Krishnamurthi
- Oops, I Did It Again: Mitigating Repeated Access Control Errors on Facebook
- Programming Languages for Compressing Graphics
- Synthesizing ObjectOriented and Functional Design to
- Parameterized Interfaces for Open System Verification of Product Lines # Colin Blundell
- Avoiding Recomputation in Linkage Analysis Alejandro A. Schaffer \Lambda
- Typing Local Control and State using Flow Analysis
- Preference Aggregation in Group Recommender Systems for Committee DecisionMaking
- Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Stephanie Weirich
- Modeling Web Interactions Paul Graunke (Northeastern University),
- Automatically Restructuring Programs for the Web + Jacob Matthews (jacobm@cs.uchicago.edu)
- WWV 2005 Preliminary Version Web Verification
- Implementation and Use of the PLT Scheme Web Server Shriram Krishnamurthi, Peter Walton Hopkins and Jay McCarthy
- The Influence of Software Module Systems on Modular Verification
- Under consideration for publication in J. Functional Programming 1 EDUCAT I ONAL PEARL
- The TeachScheme! Project: Computing and Programming for Every Student
- Little Languages and their Programming Environments John Clements
- Teaching Programming Languages in a Post-Linnaean Age
- Continuations from Generalized Stack Inspection Greg Pettyjohn
- The Design and Implementation of a Dataflow Language for Scriptable Debugging
- Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi
- Cryptographic Protocol Explication and End-Point Projection
- Flapjax: A Programming Language for Ajax Applications
- Trusted Multiplexing of Cryptographic Protocols Jay McCarthy1 and Shriram Krishnamurthi2
- Crossing State Lines: Adapting Object-Oriented Frameworks
- Modular Verification of Open Features Using Three-Valued Model Checking
- The DrScheme Project: An Overview Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
- Verifying Aspect Advice Modularly # Shriram Krishnamurthi
- Automatically Restructuring Programs for the Web
- SXSLT: Manipulation Language for XML Oleg Kiselyov 1 and Shriram Krishnamurthi 2
- Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
- Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi
- Under consideration for publication in J. Functional Programming 1 EDUCATIONAL PEARL
- A Dataflow Language for Scriptable Debugging Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss
- The TeachScheme! Project: Computing and Programming for Every Student
- From Macros to Reusable Generative Programming ?
- A Model of Triangulating Environments for Policy Authoring
- Minding the (Semantic) Gap Engineering Programming Language Theory
- Using Static Analysis for Ajax Intrusion Detection Brown University
- The Moby Scheme Compiler for Smartphones or, Is That a Parenthesis in Your Pocket?
- Escape From the Matrix: Lessons from a Case-Study in Access-Control Requirements
- Composition with Consistent Updates for Abstract State Machines
- Lowering: A Static Optimization Technique for Transparent Functional Reactivity
- Semantics and Scoping of Aspects in Higher-Order Languages
- Verifying Aspect Advice Modularly Shriram Krishnamurthi
- Automatically Restructuring Programs for the Web Jacob Matthews (jacobm@cs.uchicago.edu)
- Under consideration for publication in J. Functional Programming 1 E DUCATIONAL P E ARL
- AADEBUG2003 273 Automated Fault Localization
- Traversing Recursive Object Structures: The Functional Visitor in Demeter
- Transformation-by-Example for XML Shriram Krishnamurthi, Kathryn E. Gray, and Paul T. Graunke
- Type-Based Verification of JavaScript Sandboxing Joe Gibbs Politz Spiridon Aristides Eliopoulos Arjun Guha Shriram Krishnamurthi
- The Browser is Your Programming Environment dyoo@cs.wpi.edu
- Do Values Grow on Trees? Expression Integrity in Functional Programming
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed
