The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shriram Krishnamurthi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  53. Minimal backups of cryptographic protocol runs. [Citation Graph (, )][DBLP]


  54. The Essence of JavaScript. [Citation Graph (, )][DBLP]


  55. Cryptographic Protocol Explication and End-Point Projection. [Citation Graph (, )][DBLP]


  56. Towards an Operational Semantics for Alloy. [Citation Graph (, )][DBLP]


  57. A functional I/O system or, fun for freshman kids. [Citation Graph (, )][DBLP]


  58. Trusted Multiplexing of Cryptographic Protocols. [Citation Graph (, )][DBLP]


  59. Flapjax: a programming language for Ajax applications. [Citation Graph (, )][DBLP]


  60. A model of triangulating environments for policy authoring. [Citation Graph (, )][DBLP]


  61. Alchemy: transmuting base alloy specifications into implementations. [Citation Graph (, )][DBLP]


  62. Using static analysis for Ajax intrusion detection. [Citation Graph (, )][DBLP]


  63. Preference aggregation in group recommender systems for committee decision-making. [Citation Graph (, )][DBLP]


  64. Escape from the matrix: lessons from a case-study in access-control requirements. [Citation Graph (, )][DBLP]


  65. Decomposing Verification Around End-User Features. [Citation Graph (, )][DBLP]


  66. Relationally-parametric polymorphic contracts. [Citation Graph (, )][DBLP]


  67. Viewpoint - Why computer science doesn't matter. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.423secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002