| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek |
Foundations for Scripting Languages (Dagstuhl Seminar 12011).  |
Dagstuhl Reports  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi |
Features and object capabilities: reconciling two visions of modularity. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler |
WeScheme: the browser is your programming environment. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi |
Do values grow on trees?: expression integrity in functional programming. |
ICER |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi |
ADsafety: Type-Based Verification of JavaScript Sandboxing. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serge Egelman, Andrew Oates, Shriram Krishnamurthi |
Oops, I did it again: mitigating repeated access control errors on facebook. |
CHI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi |
Measuring the effectiveness of error messages designed for novice programmers. |
SIGCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
Typing Local Control and State Using Flow Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler, Shriram Krishnamurthi |
A model of triangulating environments for policy authoring. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
authoring environments, policy authoring |
| 1 | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
The Essence of JavaScript. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty |
Embracing policy engineering. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Shriram Krishnamurthi |
Minding the (semantic) gap: engineering programming language theory. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Shriram Krishnamurthi |
Viewpoint - Why computer science doesn't matter. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Shriram Krishnamurthi, Trevor Jim |
Using static analysis for Ajax intrusion detection. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
intrusion detection, javascript, Ajax, control-flow analysis |
| 1 | Jay A. McCarthy, Shriram Krishnamurthi |
Trusted Multiplexing of Cryptographic Protocols. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob P. Baskin, Shriram Krishnamurthi |
Preference aggregation in group recommender systems for committee decision-making. |
RecSys |
2009 |
DBLP DOI BibTeX RDF |
preference aggregation, local search algorithms |
| 1 | Kathi Fisler, Shriram Krishnamurthi |
Escape from the matrix: lessons from a case-study in access-control requirements. |
SOUPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
A functional I/O system or, fun for freshman kids. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
introductory programming |
| 1 | Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Towards an Operational Semantics for Alloy. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
javascript, web programming, functional reactive programming |
| 1 | Shriram Krishnamurthi |
Teaching programming languages in a post-linnaean age. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Michal Young (eds.) |
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008 |
PASTE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo |
Alchemy: transmuting base alloy specifications into implementations. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
relational specification, program synthesis, alloy |
| 1 | Jay A. McCarthy, Shriram Krishnamurthi |
Minimal backups of cryptographic protocol runs. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
cppl, cryptographic protocols, coq, strand spaces |
| 1 | Jay A. McCarthy, Shriram Krishnamurthi |
Cryptographic Protocol Explication and End-Point Projection. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Script automation, Dataflow dsl scheme, Java, Debugging |
| 1 | Shriram Krishnamurthi, Kathi Fisler |
Foundations of incremental aspect model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Incremental verification, feature-oriented software, model checking, aspect-oriented programming, modular verification |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management |
| 1 | Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi |
Relationally-parametric polymorphic contracts. |
DLS |
2007 |
DBLP DOI BibTeX RDF |
contracts, polymorphism, parametricity |
| 1 | Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi |
Lowering: a static optimization technique for transparent functional reactivity. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming |
| 1 | Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell |
Compiling cryptographic protocols for deployment on the web. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
CPPL, cryptographic protocols, HTTP, sessions |
| 1 | Shriram Krishnamurthi, Martin Odersky (eds.) |
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 |
CC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Obligations and Their Interaction with Programs. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi |
Semantics and scoping of aspects in higher-order languages. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Educational Pearl: Automata via macros. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi |
Abstract shade trees. |
SI3D |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Specifying and Reasoning About Dynamic Access-Control Policies. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi |
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Shriram Krishnamurthi |
Towards reasonability properties for access-control policy languages. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
access control, modularity, policy |
| 1 | Gregory H. Cooper, Shriram Krishnamurthi |
Embedding Dynamic Dataflow in a Call-by-Value Language. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry C. Li, Shriram Krishnamurthi, Kathi Fisler |
Modular Verification of Open Features Using Three-Valued Model Checking. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
cross-cutting concerns in software, model checking, feature-oriented programming, modular verification |
| 1 | Shriram Krishnamurthi, Tevfik Bultan |
Discussion summary: characteristics of web services and their impact on testing, analysis and verification. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kathi Fisler, Shriram Krishnamurthi |
Decomposing Verification Around End-User Features. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
Continuations from generalized stack inspection. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization |
| 1 | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz |
Verification and change-impact analysis of access-control policies. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
verification, XACML, decision diagram, change-impact analysis, access-control policies |
| 1 | Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen |
Automatically Restructuring Programs for the Web. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
lambda lifting, Web programming, continuation-passing style, CGI, closure conversion |
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The structure and interpretation of the computer science curriculum. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck |
Parameterized Interfaces for Open System Verification of Product Lines. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss |
Dataflow Language for Scriptable Debugging. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Shriram Krishnamurthi |
Verifying Interactive Web Programs. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen |
Validating the Unit Correctness of Spreadsheet Programs. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg |
Verifying aspect advice modularly. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
aspect-oriented software, model checking, modular verification |
| 1 | Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss |
Automated Fault Localization Using Potential Invariants |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Programming languages - application and interpretation. |
|
2003 |
RDF |
|
| 1 | Oleg Kiselyov, Shriram Krishnamurthi |
SXSLT: Manipulation Language for XML. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
SXML, XML, Scheme, XSLT, tree traversal |
| 1 | Shriram Krishnamurthi |
The CONTINUE Server (or, How I Administered PADL 2002 and 2003). |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi |
The Feature Signatures of Evolving Programs. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi |
A Type System for Statically Detecting Spreadsheet Errors. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. Tucker, Shriram Krishnamurthi |
Pointcuts and advice in higher-order languages. |
AOSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi |
CLIME: An Environment for Constrained Evolution Demonstration Description. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
Modeling Web Interactions. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen |
DrScheme: a programming environment for Scheme. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, C. R. Ramakrishnan (eds.) |
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings |
PADL |
2002 |
DBLP BibTeX RDF |
|
| 1 | Harry C. Li, Shriram Krishnamurthi, Kathi Fisler |
Interfaces for Modular Feature Verification. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry C. Li, Kathi Fisler, Shriram Krishnamurthi |
The Influence of Software Module Systems on Modular Verification. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul T. Graunke, Shriram Krishnamurthi |
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry C. Li, Shriram Krishnamurthi, Kathi Fisler |
Verifying cross-cutting features as open systems. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
feature-oriented design, model checking, software architecture, aspect-oriented programming, feature interaction, compositional reasoning, computer-aided verification |
| 1 | Morgan McGuire, Shriram Krishnamurthi, John F. Hughes |
Programming Languages for Compressing Graphics. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
Automatically Restructuring Programs for the We. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler, Shriram Krishnamurthi |
Modular verification of collaboration-based software designs. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design |
| 1 | Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen |
Programming the Web with High-Level Programming Languages. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |
Transformation-by-Example for XML. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba |
From Macros to Reusable Generative Programming. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
A Programmer's Reduction Semantics for Classes and Mixins. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
Expressing Structural Properties as Language Constructs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The DrScheme Project: An Overview. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
Classes and Mixins. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman |
Synthesizing Object-Oriented and Functional Design to Promote Re-Use. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Matthias Felleisen |
Toward a Formal Theory of Extensible Software. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
DrScheme: A Pedagogic Programming Environment for Scheme. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging |
| 1 | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |
Static Debugging: Browsing the Web of Program Invariants. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")