| 2007 |
|---|
| 56 | | Shriram Krishnamurthi,
Martin Odersky:
Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
Springer 2007 |
| 55 | EE | Daniel J. Dougherty,
Kathi Fisler,
Shriram Krishnamurthi:
Obligations and Their Interaction with Programs.
ESORICS 2007: 375-389 |
| 54 | EE | Kimberley Burchett,
Gregory H. Cooper,
Shriram Krishnamurthi:
Lowering: a static optimization technique for transparent functional reactivity.
PEPM 2007: 71-80 |
| 53 | EE | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
| 52 | EE | Shriram Krishnamurthi,
Kathi Fisler:
Foundations of incremental aspect model-checking.
ACM Trans. Softw. Eng. Methodol. 16(2): (2007) |
| 51 | EE | Guillaume Marceau,
Gregory H. Cooper,
Jonathan P. Spiro,
Shriram Krishnamurthi,
Steven P. Reiss:
The design and implementation of a dataflow language for scriptable debugging.
Autom. Softw. Eng. 14(1): 59-86 (2007) |
| 50 | EE | Shriram Krishnamurthi,
Peter Walton Hopkins,
Jay A. McCarthy,
Paul T. Graunke,
Greg Pettyjohn,
Matthias Felleisen:
Implementation and use of the PLT scheme Web server.
Higher-Order and Symbolic Computation 20(4): 431-460 (2007) |
| 2006 |
|---|
| 49 | EE | Gregory H. Cooper,
Shriram Krishnamurthi:
Embedding Dynamic Dataflow in a Call-by-Value Language.
ESOP 2006: 294-308 |
| 48 | EE | Daniel Ignatoff,
Gregory H. Cooper,
Shriram Krishnamurthi:
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.
FLOPS 2006: 259-276 |
| 47 | EE | Daniel J. Dougherty,
Kathi Fisler,
Shriram Krishnamurthi:
Specifying and Reasoning About Dynamic Access-Control Policies.
IJCAR 2006: 632-646 |
| 46 | EE | Michael Carl Tschantz,
Shriram Krishnamurthi:
Towards reasonability properties for access-control policy languages.
SACMAT 2006: 160-169 |
| 45 | EE | Morgan McGuire,
George Stathis,
Hanspeter Pfister,
Shriram Krishnamurthi:
Abstract shade trees.
SI3D 2006: 79-86 |
| 44 | EE | Shriram Krishnamurthi:
Web Verification: Perspective and Challenges.
Electr. Notes Theor. Comput. Sci. 157(2): 41-46 (2006) |
| 43 | EE | Shriram Krishnamurthi:
Educational Pearl: Automata via macros.
J. Funct. Program. 16(3): 253-267 (2006) |
| 42 | EE | Christopher Dutchyn,
David B. Tucker,
Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages.
Sci. Comput. Program. 63(3): 207-239 (2006) |
| 2005 |
|---|
| 41 | EE | Greg Pettyjohn,
John Clements,
Joe Marshall,
Shriram Krishnamurthi,
Matthias Felleisen:
Continuations from generalized stack inspection.
ICFP 2005: 216-227 |
| 40 | EE | Kathi Fisler,
Shriram Krishnamurthi,
Leo A. Meyerovich,
Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies.
ICSE 2005: 196-205 |
| 39 | | Shriram Krishnamurthi:
Web Verification: Perspective and Challenges.
WWV 2005: 3-8 |
| 38 | EE | Shriram Krishnamurthi,
Tevfik Bultan:
Discussion summary: characteristics of web services and their impact on testing, analysis and verification.
ACM SIGSOFT Software Engineering Notes 30(1): 5 (2005) |
| 37 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking.
Autom. Softw. Eng. 12(3): 349-382 (2005) |
| 2004 |
|---|
| 36 | EE | Daniel R. Licata,
Shriram Krishnamurthi:
Verifying Interactive Web Programs.
ASE 2004: 164-173 |
| 35 | EE | Guillaume Marceau,
Gregory H. Cooper,
Shriram Krishnamurthi,
Steven P. Reiss:
Dataflow Language for Scriptable Debugging.
ASE 2004: 218-227 |
| 34 | EE | Colin Blundell,
Kathi Fisler,
Shriram Krishnamurthi,
Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines.
ASE 2004: 258-267 |
| 33 | EE | Tudor Antoniu,
Paul A. Steckler,
Shriram Krishnamurthi,
Erich Neuwirth,
Matthias Felleisen:
Validating the Unit Correctness of Spreadsheet Programs.
ICSE 2004: 439-448 |
| 32 | EE | Shriram Krishnamurthi,
Kathi Fisler,
Michael Greenberg:
Verifying aspect advice modularly.
SIGSOFT FSE 2004: 137-146 |
| 31 | EE | Jacob Matthews,
Robert Bruce Findler,
Paul T. Graunke,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the Web.
Autom. Softw. Eng. 11(4): 337-364 (2004) |
| 30 | EE | Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
Shriram Krishnamurthi:
The structure and interpretation of the computer science curriculum.
J. Funct. Program. 14(4): 365-378 (2004) |
| 2003 |
|---|
| 29 | EE | David B. Tucker,
Shriram Krishnamurthi:
Pointcuts and advice in higher-order languages.
AOSD 2003: 158-167 |
| 28 | EE | Yanif Ahmad,
Tudor Antoniu,
Sharon Goldwater,
Shriram Krishnamurthi:
A Type System for Statically Detecting Spreadsheet Errors.
ASE 2003: 174-183 |
| 27 | EE | Daniel R. Licata,
Christopher D. Harris,
Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs.
ASE 2003: 281-285 |
| 26 | EE | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Modeling Web Interactions.
ESOP 2003: 238-252 |
| 25 | EE | Steven P. Reiss,
Christina M. Kennedy,
Tom Wooldridge,
Shriram Krishnamurthi:
CLIME: An Environment for Constrained Evolution Demonstration Description.
ICSE 2003: 818-819 |
| 24 | EE | Shriram Krishnamurthi:
The CONTINUE Server (or, How I Administered PADL 2002 and 2003).
PADL 2003: 2-16 |
| 23 | EE | Oleg Kiselyov,
Shriram Krishnamurthi:
SXSLT: Manipulation Language for XML.
PADL 2003: 256-272 |
| 22 | EE | Brock Pytlik,
Manos Renieris,
Shriram Krishnamurthi,
Steven P. Reiss:
Automated Fault Localization Using Potential Invariants
CoRR cs.SE/0310040: (2003) |
| 2002 |
|---|
| 21 | | Shriram Krishnamurthi,
C. R. Ramakrishnan:
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings
Springer 2002 |
| 20 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Interfaces for Modular Feature Verification.
ASE 2002: 195-204 |
| 19 | EE | Morgan McGuire,
Shriram Krishnamurthi,
John F. Hughes:
Programming Languages for Compressing Graphics.
ESOP 2002: 68-82 |
| 18 | EE | Paul T. Graunke,
Shriram Krishnamurthi:
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.
ICSE 2002: 277-287 |
| 17 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Verifying cross-cutting features as open systems.
SIGSOFT FSE 2002: 89-98 |
| 16 | EE | Harry C. Li,
Kathi Fisler,
Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification.
SPIN 2002: 60-78 |
| 15 | | Robert Bruce Findler,
John Clements,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Paul Steckler,
Matthias Felleisen:
DrScheme: a programming environment for Scheme.
J. Funct. Program. 12(2): 159-182 (2002) |
| 2001 |
|---|
| 14 | EE | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the We.
ASE 2001: 211-222 |
| 13 | EE | Kathi Fisler,
Shriram Krishnamurthi:
Modular verification of collaboration-based software designs.
ESEC / SIGSOFT FSE 2001: 152-163 |
| 12 | EE | Paul T. Graunke,
Shriram Krishnamurthi,
Steve Van Der Hoeven,
Matthias Felleisen:
Programming the Web with High-Level Programming Languages.
ESOP 2001: 122-136 |
| 2000 |
|---|
| 11 | EE | Shriram Krishnamurthi,
Kathryn E. Gray,
Paul T. Graunke:
Transformation-by-Example for XML.
PADL 2000: 249-262 |
| 1999 |
|---|
| 10 | EE | Shriram Krishnamurthi,
Yan-David Erlich,
Matthias Felleisen:
Expressing Structural Properties as Language Constructs.
ESOP 1999: 258-272 |
| 9 | EE | Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins.
Formal Syntax and Semantics of Java 1999: 241-269 |
| 8 | EE | Shriram Krishnamurthi,
Matthias Felleisen,
Bruce F. Duba:
From Macros to Reusable Generative Programming.
GCSE 1999: 105-120 |
| 7 | EE | Matthew Flatt,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).
ICFP 1999: 138-147 |
| 1998 |
|---|
| 6 | EE | Shriram Krishnamurthi,
Matthias Felleisen,
Daniel P. Friedman:
Synthesizing Object-Oriented and Functional Design to Promote Re-Use.
ECOOP 1998: 91-113 |
| 5 | EE | Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
Classes and Mixins.
POPL 1998: 171-183 |
| 4 | EE | Shriram Krishnamurthi,
Matthias Felleisen:
Toward a Formal Theory of Extensible Software.
SIGSOFT FSE 1998: 88-98 |
| 3 | | Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
Shriram Krishnamurthi:
The DrScheme Project: An Overview.
SIGPLAN Notices 33(6): 17-23 (1998) |
| 1997 |
|---|
| 2 | | Robert Bruce Findler,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme.
PLILP 1997: 369-388 |
| 1996 |
|---|
| 1 | | Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Stephanie Weirich,
Matthias Felleisen:
Static Debugging: Browsing the Web of Program Invariants.
PLDI 1996: 23-32 |
