Shriram Krishnamurthi's Publications
2009
Guha, A., Krishnamurthi, S., and Jim, T. Using Static Analysis for Ajax Intrusion Detection. International World Wide Web Conference. [ home ]
Krishnamurthi, S. The Moby Scheme Compiler for Smartphones. International Lisp Conference. [ home ]
2008
Krishnamurthi, S. Declaring victory in a declarative datacenter: Verification and transferring confidence. In Workshop on the Rise and Rise of the Declarative Datacentre (May 2008). [ home ]
Fisler, K., and Krishnamurthi, S. Decomposing verification around end-user features. Verified Software: Theories, Tools, Experiments (2008). [ home ]
Krishnamurthi, S., Dougherty, D. J., Fisler, K., and Yoo, D. Alchemy: Transmuting Base Alloy Specifications into Implementations. ACM SIGSOFT International Symposium on the Foundations of Software Engineering. [ home ]
Krishnamurthi, S. Teaching programming languages in a post-Linnaean age. In SIGPLAN Workshop on Undergraduate Programming Language Curricula (2008). [ home ]
Workshop on Program Analysis for Software Tools and Engineering (2008).
McCarthy, J., and Krishnamurthi, S. Cryptographic Protocol Explication and End-Point Projection. European Symposium on Research in Computer Security. [ home ]
McCarthy, J., and Krishnamurthi, S. Minimal Backups of Cryptographic Protocol Runs. Formal Methods in Security Engineering (2008). [ home ]
2007
Guha, A., Matthews, J., Findler, R., and Krishnamurthi, S. Relationally-parametric polymorphic contracts. Dynamic Languages Symposium. [ home ]
Dougherty, D., Fisler, K., and Krishnamurthi, S. Obligations and their interaction with programs. European Symposium on Research and Computer Science. [ home ]
McCarthy, J., Guttman, J., Ramsdell, J., and Krishnamurthi, S. Compiling cryptographic protocols for deployment on the Web. International World Wide Web Conference. [ home ]
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. [ home ]
Gordon, C., Meyerovich, L., Weinberger, J., and Krishnamurthi, S. Composition with consistent updates for Abstract State Machines. International ASM Workshop. [ home ]
Krishnamurthi, S., and Fisler, K. Foundations of Incremental Aspect Model-Checking. ACM Transactions on Software Engineering and Methodology (2007). [ home ]
Krishnamurthi, S., Hopkins, P. W., McCarthy, J., Graunke, P. T., Pettyjohn, G., and Felleisen, M. Implementation and Use of the PLT Scheme Web Server. Higher-Order and Symbolic Computation (2007). [ home ]
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 (2007). [ home ]
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 ]
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 ]
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 ]
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
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 (Sept. 2005), pp. 216-227. [ 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 (July 2005), 349-382. [ home ]
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 ]
2004
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 ]
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 (Sept. 2004), pp. 258-267. [ home | pdf ]
Licata, D. R., and Krishnamurthi, S. Verifying Interactive Web Programs. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sept. 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 (Sept. 2004), pp. 218-227. [ home ]
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 ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. Building Little Languages with Macros. Dr.Dobb's Journal (Apr. 2004). [ home ]
Clements, J., Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. Fostering Little Languages. Dr.Dobb's Journal (Mar. 2004). [ home ]
Bultan, T., and Krishnamurthi, S., Eds. Testing, Analysis and Verification of Web Services (2004), Association for Computing Machinery.
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 ]
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
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 ]
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 ]
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 ]
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 ]
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.
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 ]
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 ]
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
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 ]
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 ]
Li, H. C., Krishnamurthi, S., and Fisler, K. Interfaces for Modular Feature Verification. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sept. 2002), pp. 195-204. [ home ]
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 ]
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 ]
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 ]
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.
2001
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).
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 ]
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 (Sept. 2001), pp. 152-163. [ 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 (June 2001), pp. 1-18. [ home ]
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 (June 2001), pp. 63-76.
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 ]
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 ]
Felleisen, M., Findler, R. B., Flatt, M., and Krishnamurthi, S. How to Design Programs. MIT Press, 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 (Sept. 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 (Sept. 1999), pp. 138-147. [ home ]
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 (Sept. 1999), pp. 105-120. [ home ]
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.
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. PLT McMicMac: Elaborator Manual. Tech. Rep. 99-334, Rice University, Houston, TX, USA, 1999.
1998
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 ]
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 (July 1998), pp. 91-113. [ home ]
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 ]
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 (Sept. 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: Fri Jan 23 12:17:14 2009 |