Greg Morrisett

jgm@cs.cornell.edu
Assistant Professor of Computer Science
Cornell University
Ithaca, NY 14853-7501
Office: 4105C Upson Hall
Office phone: (607) 255-3009

Table of Contents

Research Interests

My primary research interests are in the development and use of advanced programming languages. I am particularly interested in the use of high-level languages, such as Standard ML, for building systems software, including run-time systems, operating systems, and distributed systems. Lately, I have focused on the implementation issues that have kept high-level, safe languages from being used in the construction of systems software. To this end, my research has concentrated on producing code for high-level languages that is faster, consumes less memory, and supports "hacking with the bits".

I am also interested in bringing powerful, semantics-based tools from programming language theory, such as type-directed compilation, partial evaluation, abstract interpretation, and run-time code generation, into the design, specification, and construction of real systems software.

Teaching

Selected Papers

  • Semantics of Memory Management for Polymorphic Languages, Greg Morrisett and Robert Harper, CMU Technical Report CMU-CS-96-176 [Also appears as CMU-CS-FOX-96-04], September, 1996.
  • Compiling with Types, Greg Morrisett, (gzipped postscript), Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995.
  • TIL: A Type-Directed Optimizing Compiler for ML, D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 SIGPLAN Conference on Programming Language Design and Implementation.
  • The TIL/ML Compiler: Performance and Safety Through Types, G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 Workshop on Compiler Support for Systems Software.
  • Typed Closure Conversion , Yasuhiko Minamide, Greg Morrisett, and Robert Harper , To appear in the 1996 Symposium on Principles of Programming Languages. Extended version published as CMU Technical Report CMU-CS-FOX-95-05 , July 1995.
  • Abstract Models of Memory Management, (dvi version) Greg Morrisett, Matthias Felleisen, and Robert Harper, 1995 Conf. on Functional Programming Languages and Computer Architecture. Extended version published as CMU Technical Report CMU-CS-95-110, (dvi version) also as CMU Fox Note CMU-CS-95-01.
  • Compiling Polymorphism Using Intensional Type Analysis, Robert Harper and Greg Morrisett Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.
  • Optimistic Parallelization Greg Morrisett and Maurice Herlihy. CMU-CS-93-171, October 1993.
  • Refining First-Class Stores, J. Gregory Morrisett, Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages, Copenhagen, Denmark, June 1993.
  • Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey, J. Gregory Morrisett and Andrew Tolmach, Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, May 1993.
  • A Portable Multiprocessing Interface for Standard ML of New Jersey, J. Gregory Morrisett and Andrew Tolmach, CMU-CS-92-155, June 1992. Also appears as a Princeton TR.
  • Adding Threads to Standard ML, Eric Cooper and J. Gregory Morrisett, CMU-CS-90-186, December 1990.
  • Related Research Links:

  • Mark Leone's Resources for Programming Language Research.
  • I used to be a member of the Fox Project at Carnegie Mellon.
  • On-line information about Standard ML.
  • Home pages of researchers in programming languages.
  • Home pages of research projects in programming languages.
  • Programming-language oriented bibliographies.
  • Cornell Department of Computer Science
  • Personal Information

    Home Address:

    544 Warren Road #4
    Ithaca, NY 14850
    phone: (607) 257-3211