Page type: faculty

Faculty Research Interests : Greg Morrisett; 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;Teaching;Selected Papers;Related Research Links;Personal Information;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;CS 611: Semantics of Programming Languages (Fall 1996);CS 512: Advanced Language Implementation (Spring 1996);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;