Chronological List of All Papers
These papers range across several different areas. To see them classified, visit the listing by topic.
2008
| Cryptographic Protocol Explication and End-Point Projection Jay McCarthy, Shriram Krishnamurthi European Symposium on Research in Computer Security |
| Declaring Victory in a Declarative Datacenter:
Verification and Transferring Confidence Shriram Krishnamurthi Workshop on the Rise and Rise of the Declarative Datacentre Invited Paper. |
| Minimal Backups of Cryptographic Protocol Runs Jay McCarthy, Shriram Krishnamurthi Formal Methods in Security Engineering |
| Teaching Programming Languages in a Post-Linnaean Age Shriram Krishnamurthi SIGPLAN Workshop on Undergraduate Programming Language Curricula |
| Decomposing Verification Around End-User Features Kathi Fisler, Shriram Krishnamurthi Verified Software: Theories, Tools, Experiments |
| Alchemy: Transmuting Base Alloy Specifications into Implementations Shriram Krishnamurthi, Daniel J. Dougherty, Kathi Fisler, Daniel Yoo ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
2007
| Relationally-Parametric Polymorphic Contracts Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi Dynamic Languages Symposium |
| Obligations and their Interaction with Programs Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi European Symposium on Research in Computer Security |
| Compiling Cryptographic Protocols for Deployment on the Web Jay McCarthy, Joshua Guttman, John Ramsdell, Shriram Krishnamurthi International World Wide Web Conference |
| Implementation and Use of the PLT Scheme Web Server Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen Higher-Order and Symbolic Computation |
| Composition with Consistent Updates for Abstract
State Machines Colin Gordon, Leo Meyerovich, Joel Weinberger, Shriram Krishnamurthi International ASM Workshop |
| Lowering: A Static Optimization Technique for
Transparent Functional Reactivity Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation |
2006
| Semantics and Scoping of Aspects in Higher-Order Languages Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi Science of Computer Programming |
| Interaction-Safe State for the Web Jay McCarthy, Shriram Krishnamurthi Scheme and Functional Programming |
| Specifying and Reasoning about Dynamic Access-Control Policies Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi International Joint Conference on Automated Reasoning |
| Towards Reasonability Properties for Access-Control Policy
Languages Michael Carl Tschantz, Shriram Krishnamurthi ACM Symposium on Access Control Models and Technologies |
| Automata via Macros Shriram Krishnamurthi Journal of Functional Programming |
| Embedding Dynamic Dataflow in a Call-by-Value Language Gregory H. Cooper, Shriram Krishnamurthi European Symposium on Programming |
| Abstract Shade Trees Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi Symposium on Interactive 3D Graphics |
| The Design and Implementation of a Dataflow Language
for Scriptable Debugging Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss Automated Software Engineering Journal |
| Modeling Web Interactions and Errors Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen Interactive Computation: The New Paradigm |
| Crossing State Lines: Adapting Object-Oriented Frameworks to
Functional Reactive Languages Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi International Symposium on Functional and Logic Programming |
| Foundations of Incremental Aspect Model-Checking Shriram Krishnamurthi, Kathi Fisler ACM Transactions on Software Engineering and Methodology |
2005
| Continuations from Generalized Stack Inspection Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen ACM SIGPLAN International Conference on Functional Programming |
| Modular Verification of Open Features Through
Three-Valued Model Checking Harry C. Li, Shriram Krishnamurthi, Kathi Fisler Automated Software Engineering Journal |
| Verification and Change-Impact Analysis of Access-Control
Policies Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz International Conference on Software Engineering |
| Web Verification: Perspective and Challenges Shriram Krishnamurthi Workshop on Automated Specification and Verification of Web Sites Invited Paper. |
2004
| Verifying Aspect Advice Modularly Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| A Dataflow Language for Scriptable Debugging Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss IEEE International Symposium on Automated Software Engineering Award Paper. |
| Verifying Interactive Web Programs Daniel R. Licata, Shriram Krishnamurthi IEEE International Symposium on Automated Software Engineering |
| Parameterized Interfaces for Open System Verification
of Product Lines Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck IEEE International Symposium on Automated Software Engineering Award Paper. |
| Validating the Unit Correctness of Spreadsheet Programs Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen International Conference on Software Engineering |
| Building Little Languages with Macros Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi Dr. Dobb's Journal |
| Fostering Little Languages John Clements, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi Dr. Dobb's Journal |
| Automatically Restructuring Programs for the Web Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen Automated Software Engineering Journal |
| The TeachScheme! Project: Computing and Programming
for Every Student Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi Computer Science Education |
| The Structure and Interpretation of the Computer Science
Curriculum Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi Journal of Functional Programming |
2003
| The Feature Signatures of Evolving Programs Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi IEEE International Symposium on Automated Software Engineering Short paper. |
| A Type System for Statically Detecting Spreadsheet Errors Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi IEEE International Symposium on Automated Software Engineering |
| Automated Fault Localization Using Potential Invariants Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss International Workshop on Automated and Algorithmic Debugging Short paper. |
| Modeling Web Interactions Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen European Symposium on Programming |
| Pointcuts and Advice in Higher-Order Languages David B. Tucker, Shriram Krishnamurthi International Conference on Aspect-Oriented Software Development |
| The Semantics of Garbage Collection in OO Languages Rob Hunter, Shriram Krishnamurthi Foundations of Object-Oriented Languages |
| The CONTINUE Server Shriram Krishnamurthi Symposium on the Practical Aspects of Declarative Languages Invited Paper. |
| SXSLT: Manipulation Language for XML Oleg Kiselyov, Shriram Krishnamurthi Symposium on the Practical Aspects of Declarative Languages |
| Traversing Recursive Object Structures: The Functional
Visitor in Demeter Pengcheng Wu, Shriram Krishnamurthi, Karl Lieberherr Software-Engineering Properties of Languages for Aspect Technologies |
2002
| Verifying Cross-Cutting Features as Open Systems Harry C. Li, Shriram Krishnamurthi, Kathi Fisler ACM SIGSOFT International Symposium on the Foundations of Software Engineering Award Paper. |
| The Structure and Interpretation of the Computer Science
Curriculum Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi Functional and Declarative Programming in Education |
| Interfaces for Modular Feature Verification Harry C. Li, Shriram Krishnamurthi, Kathi Fisler IEEE International Symposium on Automated Software Engineering Award Paper. |
| Advanced Control Flows for Graphical User Interfaces Paul T. Graunke, Shriram Krishnamurthi International Conference on Software Engineering |
| Programming Languages for Compressing Graphics Morgan McGuire, Shriram Krishnamurthi, John F. Hughes European Symposium on Programming |
| The Influence of Software Module Systems on
Modular Verification Harry C. Li, Kathi Fisler, Shriram Krishnamurthi SPIN Workshop on Software Model Checking |
| DrScheme: A Programming Environment for
Scheme Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen Journal of Functional Programming |
2001
| Scalable Composition, Evolution and Verification
Through Feature-Oriented Programming Shriram Krishnamurthi, Kathi Fisler, Don Batory Workshop on New Visions for Software Design and Productivity: Research and Applications |
| Automatically Restructuring Programs for the Web Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen IEEE International Symposium on Automated Software Engineering Award Paper. |
| Modular Verification of Collaboration-Based Software Designs Kathi Fisler, Shriram Krishnamurthi Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering Award Paper. |
| A Model Checking Framework for Layered Command and Control
Software Kathi Fisler, Shriram Krishnamurthi, Don S. Batory, Jia Liu Monterey Workshop on Engineering Automation for Software Intensive System Integration |
| Little Languages and their Programming Environments John Clements, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen Monterey Workshop on Engineering Automation for Software Intensive System Integration |
| Programming Languages for Software Configuration David B. Tucker, Shriram Krishnamurthi International Workshop on Software Configuration Management |
| Verifying Component-Based Collaboration Designs Kathi Fisler, Shriram Krishnamurthi, Don S. Batory ICSE Workshop on Component-Based Software Engineering |
| Programming the Web with High-Level Programming Languages Paul T. Graunke, Shriram Krishnamurthi, Steve van der Hoeven, Matthias Felleisen European Symposium on Programming |
2000
| Transformation-by-Example for XML Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke Symposium on the Practical Aspects of Declarative Languages |
1999
| Implementing Extensible Theorem Provers Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray International Conference on Theorem Proving in Higher-Order Logics: Emerging Trends |
| From Macros to Reusable Generative Programming Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba International Symposium on Generative and Component-Based Software Engineering |
| Programming Languages as Operating Systems (or,
Revenge of the Son of the Lisp Machine) Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen ACM SIGPLAN International Conference on Functional Programming |
| Expressing Structural Properties as Language Constructs Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen European Symposium on Programming |
| A Programmer's Reduction Semantics for Classes and Mixins Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen Formal Syntax and Semantics of Java |
1998
| Toward a Formal Theory of Extensible Software Shriram Krishnamurthi, Matthias Felleisen ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| Synthesizing Object-Oriented and Functional Design
to Promote Re-Use Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman European Conference on Object-Oriented Programming |
| The DrScheme Project: An Overview Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi ACM SIGPLAN Notices |
| Classes and Mixins Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
1997
| DrScheme: A Pedagogic Programming Environment for
Scheme Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen International Symposium on Programming Languages: Implementations, Logics, and Programs |
1996
| Catching Bugs in the Web of Program Invariants Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen ACM SIGPLAN Conference on Programming Language Design and Implementation |
1994
| Avoiding Recomputation in Linkage Analysis Alejandro Alberto Schäffer, Sandeep Kumar Gupta, K. Shriram, Robert W. Cottingham Jr Human Heredity |