Shriram Krishnamurthi

	2012
85		Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi: Features and object capabilities: reconciling two visions of modularity. AOSD 2012: 25-34
84		Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek: Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports 2(1): 1-18 (2012)
	2011
83		Serge Egelman, Andrew Oates, Shriram Krishnamurthi: Oops, I did it again: mitigating repeated access control errors on facebook. CHI 2011: 2295-2304
82		Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi: Typing Local Control and State Using Flow Analysis. ESOP 2011: 256-275
81		Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi: Do values grow on trees?: expression integrity in functional programming. ICER 2011: 39-44
80		Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler: WeScheme: the browser is your programming environment. ITiCSE 2011: 163-167
79		Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi: Measuring the effectiveness of error messages designed for novice programmers. SIGCSE 2011: 499-504
78		Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi: ADsafety: Type-Based Verification of JavaScript Sandboxing. USENIX Security Symposium 2011
	2010
77		Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi: The Essence of JavaScript. ECOOP 2010: 126-150
76		Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty: Embracing policy engineering. FoSER 2010: 109-110
75		Arjun Guha, Shriram Krishnamurthi: Minding the (semantic) gap: engineering programming language theory. FoSER 2010: 155-156
74		Kathi Fisler, Shriram Krishnamurthi: A model of triangulating environments for policy authoring. SACMAT 2010: 3-12
	2009
73		Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Towards an Operational Semantics for Alloy. FM 2009: 483-498
72		Jay A. McCarthy, Shriram Krishnamurthi: Trusted Multiplexing of Cryptographic Protocols. Formal Aspects in Security and Trust 2009: 217-232
71		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
70		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
69		Jacob P. Baskin, Shriram Krishnamurthi: Preference aggregation in group recommender systems for committee decision-making. RecSys 2009: 337-340
68		Kathi Fisler, Shriram Krishnamurthi: Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS 2009
67		Arjun Guha, Shriram Krishnamurthi, Trevor Jim: Using static analysis for Ajax intrusion detection. WWW 2009: 561-570
66		Matthias Felleisen, Shriram Krishnamurthi: Viewpoint - Why computer science doesn't matter. Commun. ACM 52(7): 37-40 (2009)
	2008
65		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
64		Jay A. McCarthy, Shriram Krishnamurthi: Cryptographic Protocol Explication and End-Point Projection. ESORICS 2008: 533-547
63		Jay A. McCarthy, Shriram Krishnamurthi: Minimal backups of cryptographic protocol runs. FMSE 2008: 11-20
62		Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
61		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)
60		Shriram Krishnamurthi: Teaching programming languages in a post-linnaean age. SIGPLAN Notices 43(11): 81-83 (2008)
	2007
59		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
58		Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
57		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
56		Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi: Lowering: a static optimization technique for transparent functional reactivity. PEPM 2007: 71-80
55		Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell: Compiling cryptographic protocols for deployment on the web. WWW 2007: 687-696
54		Shriram Krishnamurthi, Kathi Fisler: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
53		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)
52		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
51		Gregory H. Cooper, Shriram Krishnamurthi: Embedding Dynamic Dataflow in a Call-by-Value Language. ESOP 2006: 294-308
50		Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi: Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. FLOPS 2006: 259-276
49		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
48		Michael Carl Tschantz, Shriram Krishnamurthi: Towards reasonability properties for access-control policy languages. SACMAT 2006: 160-169
47		Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi: Abstract shade trees. SI3D 2006: 79-86
46		Shriram Krishnamurthi: Web Verification: Perspective and Challenges. Electr. Notes Theor. Comput. Sci. 157(2): 41-46 (2006)
45		Shriram Krishnamurthi: Educational Pearl: Automata via macros. J. Funct. Program. 16(3): 253-267 (2006)
44		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
43		Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen: Continuations from generalized stack inspection. ICFP 2005: 216-227
42		Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz: Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205
41		Kathi Fisler, Shriram Krishnamurthi: Decomposing Verification Around End-User Features. VSTTE 2005: 74-81
40		Shriram Krishnamurthi: Web Verification: Perspective and Challenges. WWV 2005: 3-8
39		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)
38		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
37		Daniel R. Licata, Shriram Krishnamurthi: Verifying Interactive Web Programs. ASE 2004: 164-173
36		Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss: Dataflow Language for Scriptable Debugging. ASE 2004: 218-227
35		Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
34		Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen: Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448
33		Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg: Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
32		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)
31		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
30		Shriram Krishnamurthi: Programming languages - application and interpretation. e-book 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

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page