Shriram Krishnamurthi's Publications
2007
McCarthy, J., Guttman, J., Ramsdell, J., and Krishnamurthi, S. Compiling cryptographic protocols for deployment on the Web. International World Wide Web Conference.
Burchett, K., Cooper, G., and Krishnamurthi, S. Lowering: A static optimization technique for transparent functional reactivity. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 71-80.
Dougherty, D., Fisler, K., and Krishnamurthi, S. Obligations and their interaction with programs. European Symposium on Research and Computer Science.
Gordon, C., Meyerovich, L., Weinberger, J., and Krishnamurthi, S. Composition with consistent updates for Abstract State Machines. International ASM Workshop.
Guha, A., Matthews, J., Findler, R., and Krishnamurthi, S. Relationally-parametric polymorphic contracts. Dynamic Languages Symposium.
2006
Cooper, G. H., and Krishnamurthi, S. Embedding Dynamic Dataflow in a Call-by-Value Language. In Proceedings of the European Symposium on Programming (Mar 2006), pp. 294-308. [ home ]
Dougherty, D., Fisler, K., and Krishnamurthi, S. Specifying and Reasoning about Dynamic Access-Control Policies. In Proceedings of the International Joint Conference on Automated Reasoning (2006). [ home ]
Dutchyn, C., Tucker, D. B., and Krishnamurthi, S. Semantics and Scoping of Aspects in Higher-Order Languages. Science of Computer Programming (2006). [ home ]
Fisler, K., and Krishnamurthi, S. Decomposing Verification by Features. In Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Verified Software: Theories, Tools, Experiments. Springer-Verlag, 2006. [ home ]
Ignatoff, D., Cooper, G. H., and Krishnamurthi, S. Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. In Proceedings of the Functional and Logic Programming Symposium (2006), pp. 259-276. [ home ]
Krishnamurthi, S. Automata via Macros. Journal of Functional Programming (2006). [ home ]
Krishnamurthi, S., and Fisler, K. Foundations of Incremental Aspect Model-Checking. [ home ]
Krishnamurthi, S., Findler, R. B., Graunke, P., and Felleisen, M. Modeling Web Interactions and Errors. In Interactive Computation: The New Paradigm, D. Goldin, S. Smolka, and P. Wegner, Eds. Springer-Verlag, 2006. [ home ]
Krishnamurthi, S. Programming Languages: Application and Interpretation. 2006.
Marceau, G., Cooper, G. H., Spiro, J. P., Krishnamurthi, S., and Reiss, S. P. The Design and Implementation of a Dataflow Language for Scriptable Debugging. Automated Software Engineering Journal (2006). [ home ]
McCarthy, J., and Krishnamurthi, S. Interaction-Safe State for the Web. Scheme and Functional Programming, 2006, 2006. [ home ]
McGuire, M., Stathis, G., Pfister, H., and Krishnamurthi, S. Abstract Shade Trees. In Proceedings of the Symposium on Interactive 3D Graphics and Games (Mar 2006), pp. 79-86. [ home ]
Tschantz, M., and Krishnamurthi, S. Towards Reasonability Properties for Access-Control Policy Languages. In Proceedings of the ACM Symposium on Access Control Models and Technologies (2006). [ home ]
2005
Fisler, K., Krishnamurthi, S., Meyerovich, L. A., and Tschantz, M. C. Verification and Change-Impact Analysis of Access-Control Policies. In Proceedings of the International Conference on Software Engineering (May 2005), pp. 196-205. [ home ]
Li, H. C., Krishnamurthi, S., and Fisler, K. Modular Verification of Open Features Through Three-Valued Model Checking. Automated Software Engineering Journal 12, 3 (Jul 2005), 349-382. [ home ]
Pettyjohn, G., Clements, J., Marshall, J., Krishnamurthi, S., and Felleisen, M. Continuations from Generalized Stack Inspection. In Proceedings of the Special Interest Group on Programming Languages (SIGPLAN) International Conference on Functional Programming (Sep 2005), pp. 216-227. [ home ]
2004
Antoniu, T., Steckler, P. A., Krishnamurthi, S., Neuwirth, E., and Felleisen, M. Validating the Unit Correctness of Spreadsheet Programs. In Proceedings of the International Conference on Software Engineering (May 2004), pp. 439-448. [ home ]
Blundell, C., Fisler, K., Krishnamurthi, S., and Van Hentenryck, P. Parameterized Interfaces for Open System Verification of Product Lines. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sep 2004), pp. 258-267. [ home | pdf ]
Bultan, T., and Krishnamurthi, S., Eds. Testing, Analysis and Verification of Web Services (2004), Association for Computing Machinery.
Clements, J., Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. Fostering Little Languages. Dr.Dobb's Journal (Mar 2004). [ home ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. Building Little Languages with Macros. Dr.Dobb's Journal (Apr 2004). [ home ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. The Structure and Interpretation of the Computer Science Curriculum. Journal of Functional Programming 14, 4 (2004), 365-378. [ home ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. The TeachScheme! Project: Computing and Programming for Every Student. Computer Science Education 14, 1 (2004), 55-77. [ home ]
Krishnamurthi, S., Fisler, K., and Greenberg, M. Verifying Aspect Advice Modularly. In Proceedings of the ACM Special Interest Group on Software Engineering SIGSOFT International Symposium on the Foundations of Software Engineering (Nov 2004), pp. 137-146. [ home ]
Licata, D. R., and Krishnamurthi, S. Verifying Interactive Web Programs. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sep 2004), pp. 164-173. [ home ]
Marceau, G., Cooper, G. H., Krishnamurthi, S., and Reiss, S. P. A dataflow language for scriptable debugging. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sep 2004), pp. 218-227. [ home ]
Matthews, J., Findler, R. B., Graunke, P. T., Krishnamurthi, S., and Felleisen, M. Automatically Restructuring Programs for the Web. Automated Software Engineering Journal 11, 4 (2004), 337-364. [ home ]
2003
Reiss, S. P., Kennedy, C. M., Wooldridge, T., and Krishnamurthi, S. CLIME: An Environment for Constrained Evolution. Proceedings of the 25th International Conference on Software Engineering (ICSE), pp. 818-819. [ pdf ]
Ahmad, Y., Antoniu, T., Goldwater, S., and Krishnamurthi, S. A Type System for Statically Detecting Spreadsheet Errors. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Oct 2003), pp. 174-183. [ home ]
Graunke, P. T., Findler, R. B., Krishnamurthi, S., and Felleisen, M. Modeling Web Interactions. In Proceedings of the European Symposium on Programming (Apr 2003), pp. 238-252. [ home ]
Hunter, R., and Krishnamurthi, S. The Semantics of Garbage Collection in OO Languages. In Proceedings of the Conference on Foundations of Object-Oriented Languages (Jan 2003). [ home ]
Kiselyov, O., and Krishnamurthi, S. SXSLT: Manipulation Language for XML. In Proceedings of the Symposium on the Practical Aspects of Declarative Languages (Jan 2003), pp. 256-272. [ home ]
Krishnamurthi, S. The Continue Server. In Proceedings of the Symposium on the Practical Aspects of Declarative Languages (Jan 2003), pp. 2-16. [ home ]
Licata, D. R., Harris, C. D., and Krishnamurthi, S. The Feature Signatures of Evolving Programs. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Oct 2003), pp. 281-285. [ home ]
Pytlik, B., Renieris, M., Krishnamurthi, S., and Reiss, S. P. Automated Fault Localization Using Potential Invariants. In Proceedings of the Workshop on Automated and Algorithmic Debugging (AADEBUG 2003) (2003), pp. 273-276. [ home ]
Tucker, D. B., and Krishnamurthi, S. Pointcuts and Advice in Higher-Order Languages. In Proceedings of the International Conference on Aspect-Oriented Software Development (Mar 2003), pp. 158-167. [ home ]
Tucker, D. B., and Krishnamurthi, S. A Semantics for Pointcuts and Advice in Higher-Order Languages. Tech. rep., Computer Science Department, Brown University, Mar 2003.
Wu, P., Krishnamurthi, S., and Lieberherr, K. Traversing Recursive Object Structures: The Functional Visitor in Demeter. In Proceedings of the Workshop on Software-Engineering Properties of Languages for Aspect Technologies (2003). [ home ]
2002
Graunke, P. T., and Krishnamurthi, S. Advanced Control Flows for Graphical User Interfaces. In Proceedings of the International Conference on Software Engineering (May 2002), pp. 277-287. [ home ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. The Structure and Interpretation of the Computer Science Curriculum. In Functional and Declarative Programming in Education (Oct 2002), M. Hanus, S. Krishnamurthi, and S. Thompson, Eds. [ home ]
Findler, R. B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., and Felleisen, M. DrScheme: A Programming Environment for Scheme. Journal of Functional Programming 12, 2 (2002), 159-182. [ home ]
Hanus, M., Krishnamurthi, S., and Thompson, S., Eds. Functional and Declarative Programming in Education (2002), Christian-Albrechts-Universität Kiel.
Krishnamurthi, S., and Ramakrishnan, C. R., Eds. Symposium on the Practical Aspects of Declarative Languages (2002), Springer-Verlag.
Li, H. C., Krishnamurthi, S., and Fisler, K. Interfaces for Modular Feature Verification. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sep 2002), pp. 195-204. [ home ]
Li, H. C., Fisler, K., and Krishnamurthi, S. The Influence of Software Module Systems on Modular Verification. In Proceedings of the SPIN Workshop on Software Model Checking (Apr 2002), pp. 60-78. [ home ]
Li, H. C., Krishnamurthi, S., and Fisler, K. Verifying Cross-Cutting Features as Open Systems. In Proceedings of the ACM Special Interest Group on Software Engineering (SIGSOFT) International Symposium on the Foundations of Software Engineering (Nov 2002), pp. 89-98. [ home ]
McGuire, M., Krishnamurthi, S., and Hughes, J. F. Programming Languages for Compressing Graphics. In Proceedings of the European Symposium on Programming (Apr 2002), pp. 68-82. [ home ]
2001
Fisler, K., Krishnamurthi, S., and Batory, D. S. Verifying Component-Based Collaboration Designs. In Proceedings of the International Conference on Software Engineering (ICSE) Workshop on Component-Based Software Engineering (May 2001). [ home ]
Krishnamurthi, S. Linguistic Reuse. PhD thesis, Department of Computer Science, Rice University, May 2001.
Tucker, D. B., and Krishnamurthi, S. Programming Languages for Software Configuration. In Proceedings of the International Workshop on Software Configuration Management (May 2001). [ home ]
Clements, J., Graunke, P. T., Krishnamurthi, S., and Felleisen, M. Little Languages and their Programming Environments. In Proceedings of the Monterey Workshop on Engineering Automation for Software Intensive System Integration (Jun 2001), pp. 1-18. [ home ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. How to Design Programs. MIT Press, 2001.
Fisler, K., Krishnamurthi, S., Batory, D. S., and Liu, J. A Model Checking Framework for Layered Command and Control Software. In Proceedings of the Monterey Workshop on Engineering Automation for Software Intensive System Integration (Jun 2001), pp. 63-76.
Fisler, K., and Krishnamurthi, S. Modular Verification of Collaboration-Based Software Designs. In Proceedings of the Joint European Software Engineering Conference and ACM Special Interest Group on Software Engineering (SIGSOFT) Symposium on the Foundations of Software Engineering (Sep 2001), pp. 152-163. [ home ]
Graunke, P. T., Findler, R. B., Krishnamurthi, S., and Felleisen, M. Automatically Restructuring Programs for the Web. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Nov 2001), pp. 211-222. [ home ]
Graunke, P. T., Krishnamurthi, S., van der Hoeven, S., and Felleisen, M. Programming the Web with High-Level Programming Languages. In Proceedings of the European Symposium on Programming (Apr 2001), pp. 122-136. [ home ]
Krishnamurthi, S., Fisler, K., and Batory, D. Scalable Composition, Evolution and Verification Through Feature-Oriented Programming. In Proceedings of the Workshop on New Visions for Software Design and Productivity: Research and Applications (Dec 2001).
2000
Krishnamurthi, S., Gray, K. E., and Graunke, P. T. Transformation-by-Example for XML. In Proceedings of the Symposium on the Practical Aspects of Declarative Languages (Jan 2000), pp. 249-262. [ home ]
1999
Clements, J., Krishnamurthi, S., and Felleisen, M. Little Languages and their Programming Environments. Tech. Rep. 99-350, Department of Computer Science, Rice University, Dec 1999.
Fisler, K., Krishnamurthi, S., and Gray, K. E. Implementing Extensible Theorem Provers. In Proceedings of the International Conference on Theorem Proving in Higher-Order Logics: Emerging Trends (Sep 1999). [ home ]
Flatt, M., Findler, R. B., Krishnamurthi, S., and Felleisen, M. Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine). In Proceedings of the ACM Special Interest Group on Programming Languages (SIGPLAN) International Conference on Functional Programming (Sep 1999), pp. 138-147. [ home ]
Flatt, M., Krishnamurthi, S., and Felleisen, M. A Programmer's Reduction Semantics for Classes and Mixins. In Formal Syntax and Semantics of Java, J. Alves-Foss, Ed. Springer-Verlag, 1999, pp. 241-269.
Krishnamurthi, S., Erlich, Y.-D., and Felleisen, M. Expressing Structural Properties as Language Constructs. In Proceedings of the European Symposium on Programming (Mar 1999), pp. 258-272.
Krishnamurthi, S., Felleisen, M., and Duba, B. F. From Macros to Reusable Generative Programming. In Proceedings of the International Symposium on Generative and Component-Based Software Engineering (Sep 1999), pp. 105-120. [ home ]
Krishnamurthi, S. PLT McMicMac: Elaborator Manual. Tech. Rep. 99-334, Rice University, Houston, TX, USA, 1999.
1998
Flatt, M., Krishnamurthi, S., and Felleisen, M. Classes and Mixins. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Jan 1998), pp. 171-183. [ home ]
Krishnamurthi, S., Felleisen, M., and Friedman, D. P. Synthesizing Object-Oriented and Functional Design to Promote Re-Use. In Proceedings of the European Conference on Object-Oriented Programming (Jul 1998), pp. 91-113. [ home ]
Krishnamurthi, S., and Felleisen, M. Toward a Formal Theory of Extensible Software. In Proceedings of the ACM Special Interest Group on Software Engineering (SIGSOFT) International Symposium on the Foundations of Software Engineering (Nov 1998), pp. 88-98. [ home ]
1997
Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A Pedagogic Programming Environment for Scheme. In Proceedings of the International Symposium on Programming Languages: Implementations, Logics, and Programs (Sep 1997), pp. 369-388. [ home ]
Krishnamurthi, S., and Felleisen, M. Lecture Notes on the Principles of Programming Languages. Tech. Rep. 97-292, Rice University, Houston, TX, USA, 1997.
1996
Flanagan, C., Flatt, M., Krishnamurthi, S., Weirich, S., and Felleisen, M. Catching Bugs in the Web of Program Invariants. In Proceedings of the ACM Special Interest Group for Programming Languages (SIGPLAN) Conference on Programming Language Design and Implementation (May 1996), pp. 23-32. [ home ]
1995
Krishnamurthi, S. Zodiac: A Framework for Building Interactive Programming Tools. Tech. Rep. 95-262, Rice University, Houston, TX, USA, 1995.
| Page Owner: Shriram Krishnamurthi | Last Modified: Tue Jan 22 15:11:27 2008 |