 | 2009 |
|---|
| 71 |       | Theophilos Giannakopoulos,
Daniel J. Dougherty,
Kathi Fisler,
Shriram Krishnamurthi:
Towards an Operational Semantics for Alloy.
FM 2009: 483-498 |
| 70 | | Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
Shriram Krishnamurthi:
A functional I/O system or, fun for freshman kids.
ICFP 2009: 47-58 |
| 69 | | Leo A. Meyerovich,
Arjun Guha,
Jacob P. Baskin,
Gregory H. Cooper,
Michael Greenberg,
Aleks Bromfield,
Shriram Krishnamurthi:
Flapjax: a programming language for Ajax applications.
OOPSLA 2009: 1-20 |
| 68 | | Jacob P. Baskin,
Shriram Krishnamurthi:
Preference aggregation in group recommender systems for committee decision-making.
RecSys 2009: 337-340 |
| 67 | | Kathi Fisler,
Shriram Krishnamurthi:
Escape from the matrix: lessons from a case-study in access-control requirements.
SOUPS 2009 |
| 66 | | Arjun Guha,
Shriram Krishnamurthi,
Trevor Jim:
Using static analysis for Ajax intrusion detection.
WWW 2009: 561-570 |
| 65 | | Matthias Felleisen,
Shriram Krishnamurthi:
Viewpoint - Why computer science doesn't matter.
Commun. ACM 52(7): 37-40 (2009) |
| 2008 |
|---|
| 64 |  | Shriram Krishnamurthi,
Michal Young:
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008
ACM 2008 |
| 63 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Cryptographic Protocol Explication and End-Point Projection.
ESORICS 2008: 533-547 |
| 62 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs.
FMSE 2008: 11-20 |
| 61 | | Shriram Krishnamurthi,
Kathi Fisler,
Daniel J. Dougherty,
Daniel Yoo:
Alchemy: transmuting base alloy specifications into implementations.
SIGSOFT FSE 2008: 158-169 |
| 60 | | Eric Allen,
Mark W. Bailey,
Rastislav Bodík,
Kim B. Bruce,
Kathleen Fisher,
Stephen N. Freund,
Robert Harper,
Chandra Krintz,
Shriram Krishnamurthi,
James R. Larus,
Doug Lea,
Gary T. Leavens,
Lori L. Pollock,
Stuart Reges,
Martin C. Rinard,
Mark A. Sheldon,
Franklyn A. Turbak,
Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices 43(11): 6-29 (2008) |
| 59 | | Shriram Krishnamurthi:
Teaching programming languages in a post-linnaean age.
SIGPLAN Notices 43(11): 81-83 (2008) |
| 2007 |
|---|
| 58 | | 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 |
| 57 | | Arjun Guha,
Jacob Matthews,
Robert Bruce Findler,
Shriram Krishnamurthi:
Relationally-parametric polymorphic contracts.
DLS 2007: 29-40 |
| 56 | | Daniel J. Dougherty,
Kathi Fisler,
Shriram Krishnamurthi:
Obligations and Their Interaction with Programs.
ESORICS 2007: 375-389 |
| 55 | | Kimberley Burchett,
Gregory H. Cooper,
Shriram Krishnamurthi:
Lowering: a static optimization technique for transparent functional reactivity.
PEPM 2007: 71-80 |
| 54 | | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
| 53 | | Shriram Krishnamurthi,
Kathi Fisler:
Foundations of incremental aspect model-checking.
ACM Trans. Softw. Eng. Methodol. 16(2): (2007) |
| 52 | | 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) |
| 51 | | 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 |
|---|
| 50 | | Gregory H. Cooper,
Shriram Krishnamurthi:
Embedding Dynamic Dataflow in a Call-by-Value Language.
ESOP 2006: 294-308 |
| 49 | | Daniel Ignatoff,
Gregory H. Cooper,
Shriram Krishnamurthi:
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.
FLOPS 2006: 259-276 |
| 48 | | Daniel J. Dougherty,
Kathi Fisler,
Shriram Krishnamurthi:
Specifying and Reasoning About Dynamic Access-Control Policies.
IJCAR 2006: 632-646 |
| 47 | | Michael Carl Tschantz,
Shriram Krishnamurthi:
Towards reasonability properties for access-control policy languages.
SACMAT 2006: 160-169 |
| 46 | | Morgan McGuire,
George Stathis,
Hanspeter Pfister,
Shriram Krishnamurthi:
Abstract shade trees.
SI3D 2006: 79-86 |
| 45 | | Shriram Krishnamurthi:
Web Verification: Perspective and Challenges.
Electr. Notes Theor. Comput. Sci. 157(2): 41-46 (2006) |
| 44 | | Shriram Krishnamurthi:
Educational Pearl: Automata via macros.
J. Funct. Program. 16(3): 253-267 (2006) |
| 43 | | 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 |
|---|
| 42 | | Greg Pettyjohn,
John Clements,
Joe Marshall,
Shriram Krishnamurthi,
Matthias Felleisen:
Continuations from generalized stack inspection.
ICFP 2005: 216-227 |
| 41 | | Kathi Fisler,
Shriram Krishnamurthi,
Leo A. Meyerovich,
Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies.
ICSE 2005: 196-205 |
| 40 | | Kathi Fisler,
Shriram Krishnamurthi:
Decomposing Verification Around End-User Features.
VSTTE 2005: 74-81 |
| 39 | | Shriram Krishnamurthi:
Web Verification: Perspective and Challenges.
WWV 2005: 3-8 |
| 38 | | 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 | | 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 | | Daniel R. Licata,
Shriram Krishnamurthi:
Verifying Interactive Web Programs.
ASE 2004: 164-173 |
| 35 | | Guillaume Marceau,
Gregory H. Cooper,
Shriram Krishnamurthi,
Steven P. Reiss:
Dataflow Language for Scriptable Debugging.
ASE 2004: 218-227 |
| 34 | | Colin Blundell,
Kathi Fisler,
Shriram Krishnamurthi,
Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines.
ASE 2004: 258-267 |
| 33 | | Tudor Antoniu,
Paul A. Steckler,
Shriram Krishnamurthi,
Erich Neuwirth,
Matthias Felleisen:
Validating the Unit Correctness of Spreadsheet Programs.
ICSE 2004: 439-448 |
| 32 | | Shriram Krishnamurthi,
Kathi Fisler,
Michael Greenberg:
Verifying aspect advice modularly.
SIGSOFT FSE 2004: 137-146 |
| 31 | | 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 | | 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 | | David B. Tucker,
Shriram Krishnamurthi:
Pointcuts and advice in higher-order languages.
AOSD 2003: 158-167 |
| 28 | | Yanif Ahmad,
Tudor Antoniu,
Sharon Goldwater,
Shriram Krishnamurthi:
A Type System for Statically Detecting Spreadsheet Errors.
ASE 2003: 174-183 |
| 27 | | Daniel R. Licata,
Christopher D. Harris,
Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs.
ASE 2003: 281-285 |
| 26 | | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Modeling Web Interactions.
ESOP 2003: 238-252 |
| 25 | | Steven P. Reiss,
Christina M. Kennedy,
Tom Wooldridge,
Shriram Krishnamurthi:
CLIME: An Environment for Constrained Evolution Demonstration Description.
ICSE 2003: 818-819 |
| 24 | | Shriram Krishnamurthi:
The CONTINUE Server (or, How I Administered PADL 2002 and 2003).
PADL 2003: 2-16 |
| 23 | | Oleg Kiselyov,
Shriram Krishnamurthi:
SXSLT: Manipulation Language for XML.
PADL 2003: 256-272 |
| 22 | | 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 | | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Interfaces for Modular Feature Verification.
ASE 2002: 195-204 |
| 19 | | Morgan McGuire,
Shriram Krishnamurthi,
John F. Hughes:
Programming Languages for Compressing Graphics.
ESOP 2002: 68-82 |
| 18 | | 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 | | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Verifying cross-cutting features as open systems.
SIGSOFT FSE 2002: 89-98 |
| 16 | | 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 | | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the We.
ASE 2001: 211-222 |
| 13 | | Kathi Fisler,
Shriram Krishnamurthi:
Modular verification of collaboration-based software designs.
ESEC / SIGSOFT FSE 2001: 152-163 |
| 12 | | 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 | | Shriram Krishnamurthi,
Kathryn E. Gray,
Paul T. Graunke:
Transformation-by-Example for XML.
PADL 2000: 249-262 |
| 1999 |
|---|
| 10 | | Shriram Krishnamurthi,
Yan-David Erlich,
Matthias Felleisen:
Expressing Structural Properties as Language Constructs.
ESOP 1999: 258-272 |
| 9 | | 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 | | Shriram Krishnamurthi,
Matthias Felleisen,
Bruce F. Duba:
From Macros to Reusable Generative Programming.
GCSE 1999: 105-120 |
| 7 | | 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 | | Shriram Krishnamurthi,
Matthias Felleisen,
Daniel P. Friedman:
Synthesizing Object-Oriented and Functional Design to Promote Re-Use.
ECOOP 1998: 91-113 |
| 5 | | Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
Classes and Mixins.
POPL 1998: 171-183 |
| 4 | | 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 |
