dblp.uni-trier.dewww.uni-trier.de

Shriram Krishnamurthi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
70EEMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
69EELeo 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
68EEJacob P. Baskin, Shriram Krishnamurthi: Preference aggregation in group recommender systems for committee decision-making. RecSys 2009: 337-340
67EEKathi Fisler, Shriram Krishnamurthi: Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS 2009
66EEArjun Guha, Shriram Krishnamurthi, Trevor Jim: Using static analysis for Ajax intrusion detection. WWW 2009: 561-570
65EEMatthias 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
63EEJay A. McCarthy, Shriram Krishnamurthi: Cryptographic Protocol Explication and End-Point Projection. ESORICS 2008: 533-547
62EEJay A. McCarthy, Shriram Krishnamurthi: Minimal backups of cryptographic protocol runs. FMSE 2008: 11-20
61EEShriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
60EEEric 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)
59EEShriram 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
57EEArjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
56EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
55EEKimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi: Lowering: a static optimization technique for transparent functional reactivity. PEPM 2007: 71-80
54EEJay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell: Compiling cryptographic protocols for deployment on the web. WWW 2007: 687-696
53EEShriram Krishnamurthi, Kathi Fisler: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
52EEGuillaume 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)
51EEShriram 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
50EEGregory H. Cooper, Shriram Krishnamurthi: Embedding Dynamic Dataflow in a Call-by-Value Language. ESOP 2006: 294-308
49EEDaniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi: Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. FLOPS 2006: 259-276
48EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
47EEMichael Carl Tschantz, Shriram Krishnamurthi: Towards reasonability properties for access-control policy languages. SACMAT 2006: 160-169
46EEMorgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi: Abstract shade trees. SI3D 2006: 79-86
45EEShriram Krishnamurthi: Web Verification: Perspective and Challenges. Electr. Notes Theor. Comput. Sci. 157(2): 41-46 (2006)
44EEShriram Krishnamurthi: Educational Pearl: Automata via macros. J. Funct. Program. 16(3): 253-267 (2006)
43EEChristopher Dutchyn, David B. Tucker, Shriram Krishnamurthi: Semantics and scoping of aspects in higher-order languages. Sci. Comput. Program. 63(3): 207-239 (2006)
2005
42EEGreg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen: Continuations from generalized stack inspection. ICFP 2005: 216-227
41EEKathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz: Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205
40EEKathi 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
38EEShriram 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)
37EEHarry 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
36EEDaniel R. Licata, Shriram Krishnamurthi: Verifying Interactive Web Programs. ASE 2004: 164-173
35EEGuillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss: Dataflow Language for Scriptable Debugging. ASE 2004: 218-227
34EEColin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
33EETudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen: Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448
32EEShriram Krishnamurthi, Kathi Fisler, Michael Greenberg: Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
31EEJacob 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)
30EEMatthias 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
29EEDavid B. Tucker, Shriram Krishnamurthi: Pointcuts and advice in higher-order languages. AOSD 2003: 158-167
28EEYanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi: A Type System for Statically Detecting Spreadsheet Errors. ASE 2003: 174-183
27EEDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi: The Feature Signatures of Evolving Programs. ASE 2003: 281-285
26EEPaul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252
25EESteven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi: CLIME: An Environment for Constrained Evolution Demonstration Description. ICSE 2003: 818-819
24EEShriram Krishnamurthi: The CONTINUE Server (or, How I Administered PADL 2002 and 2003). PADL 2003: 2-16
23EEOleg Kiselyov, Shriram Krishnamurthi: SXSLT: Manipulation Language for XML. PADL 2003: 256-272
22EEBrock 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
20EEHarry C. Li, Shriram Krishnamurthi, Kathi Fisler: Interfaces for Modular Feature Verification. ASE 2002: 195-204
19EEMorgan McGuire, Shriram Krishnamurthi, John F. Hughes: Programming Languages for Compressing Graphics. ESOP 2002: 68-82
18EEPaul T. Graunke, Shriram Krishnamurthi: Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. ICSE 2002: 277-287
17EEHarry C. Li, Shriram Krishnamurthi, Kathi Fisler: Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98
16EEHarry 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
14EEPaul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222
13EEKathi Fisler, Shriram Krishnamurthi: Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE 2001: 152-163
12EEPaul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen: Programming the Web with High-Level Programming Languages. ESOP 2001: 122-136
2000
11EEShriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke: Transformation-by-Example for XML. PADL 2000: 249-262
1999
10EEShriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen: Expressing Structural Properties as Language Constructs. ESOP 1999: 258-272
9EEMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
8EEShriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba: From Macros to Reusable Generative Programming. GCSE 1999: 105-120
7EEMatthew 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
6EEShriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman: Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113
5EEMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183
4EEShriram 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
2EERobert 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

Coauthor Index

1Yanif Ahmad [28]
2Eric Allen [60]
3Tudor Antoniu [28] [33]
4Mark W. Bailey [60]
5Jacob P. Baskin [68] [69]
6Colin Blundell [34]
7Rastislav Bodík [60]
8Aleks Bromfield [69]
9Kim B. Bruce [60]
10Tevfik Bultan [38]
11Kimberley Burchett [55]
12John Clements [15] [42]
13Gregory H. Cooper [35] [49] [50] [52] [55] [69]
14Daniel J. Dougherty [48] [56] [61]
15Bruce F. Duba [8]
16Christopher Dutchyn [43]
17Yan-David Erlich [10]
18Matthias Felleisen [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [15] [26] [30] [31] [33] [42] [51] [65] [70]
19Robert Bruce Findler [2] [3] [7] [14] [15] [26] [30] [31] [57] [70]
20Kathleen Fisher [60]
21Kathi Fisler [13] [16] [17] [20] [32] [34] [37] [40] [41] [48] [53] [56] [61] [67]
22Cormac Flanagan [1] [2] [15]
23Matthew Flatt [1] [2] [3] [5] [7] [9] [15] [30] [70]
24Stephen N. Freund [60]
25Daniel P. Friedman [6]
26Sharon Goldwater [28]
27Paul T. Graunke [11] [12] [14] [18] [26] [31] [51]
28Kathryn E. Gray [11]
29Michael Greenberg [32] [69]
30Arjun Guha [57] [66] [69]
31Joshua D. Guttman [54]
32Robert Harper [60]
33Christopher D. Harris [27]
34Pascal Van Hentenryck [34]
35Steve Van Der Hoeven [12]
36Peter Walton Hopkins [51]
37John F. Hughes [19]
38Daniel Ignatoff [49]
39Trevor Jim [66]
40Christina M. Kennedy [25]
41Oleg Kiselyov [23]
42Chandra Krintz [60]
43James R. Larus [60]
44Doug Lea [60]
45Gary T. Leavens [60]
46Harry C. Li [16] [17] [20] [37]
47Daniel R. Licata [27] [36]
48Guillaume Marceau [35] [52]
49Joe Marshall [42]
50Jacob Matthews [31] [57]
51Jay A. McCarthy [51] [54] [62] [63]
52Morgan McGuire [19] [46]
53Leo A. Meyerovich [41] [69]
54Erich Neuwirth [33]
55Martin Odersky [58]
56Greg Pettyjohn [42] [51]
57Hanspeter Pfister [46]
58Lori L. Pollock [60]
59Brock Pytlik [22]
60C. R. Ramakrishnan [21]
61John D. Ramsdell [54]
62Stuart Reges [60]
63Steven P. Reiss [22] [25] [35] [52]
64Manos Renieris [22]
65Martin C. Rinard [60]
66Mark A. Sheldon [60]
67Jonathan P. Spiro [52]
68George Stathis [46]
69Paul Steckler [15]
70Paul A. Steckler [33]
71Michael Carl Tschantz [41] [47]
72David B. Tucker [29] [43]
73Franklyn A. Turbak [60]
74Mitchell Wand [60]
75Stephanie Weirich [1]
76Tom Wooldridge [25]
77Daniel Yoo [61]
78Michal Young [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)