📄 http:^^www.cs.cornell.edu^info^people^jgm^home.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 18:57:33 GMT
Content-Type: text/html
Content-Length: 6063
Last-Modified: Tuesday, 15-Oct-96 23:38:41 GMT
<html><head><title>Faculty Research Interests : Greg Morrisett </title></head><body><h1> Greg Morrisett </h1><i><dl><dt> jgm@cs.cornell.edu<dt> Assistant Professor of <!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.cornell.edu">Computer Science</a><dt> <!WA1><!WA1><!WA1><!WA1><a href="http://www.cornell.edu">Cornell University</a><dt> Ithaca, NY 14853-7501<dt> Office: 4105C Upson Hall<dt> Office phone: (607) 255-3009</dl></i><h3> Table of Contents </h3><ul><li><!WA2><!WA2><!WA2><!WA2><A HREF="#Research">Research Interests</A><li><!WA3><!WA3><!WA3><!WA3><A HREF="#Teaching">Teaching</a><li><!WA4><!WA4><!WA4><!WA4><A HREF="#Papers">Selected Papers</A><li><!WA5><!WA5><!WA5><!WA5><A HREF="#Links">Related Research Links</A><li><!WA6><!WA6><!WA6><!WA6><A HREF="#Personal">Personal Information</a></ul><A NAME = "Research"><H3>Research Interests</H3><p>My primary research interests are in the development and use ofadvanced programming languages. I am particularly interestedin the use of high-level languages, such as Standard ML, forbuilding systems software, including run-time systems, operatingsystems, and distributed systems. Lately, I have focused onthe implementation issues that have kept high-level, safelanguages 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". <p>I am also interested in bringing powerful, semantics-based toolsfrom 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 systemssoftware. <p><a name = "Teaching"><H3>Teaching</h3><ul><li><!WA7><!WA7><!WA7><!WA7><a href="http://www-local.cs.cornell.edu/Info/Courses/Fall-96/CS611/home.html">CS 611:</a> Semantics of Programming Languages (Fall 1996) <li><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS512/home.html">CS 512:</a> Advanced Language Implementation (Spring 1996)</ul><A NAME = "Papers"><H3>Selected Papers</H3><MENU>
<li><!WA9><!WA9><!WA9><!WA9><a href="ftp://reports.adm.cs.cmu.edu/usr/anon/1996/CMU-CS-96-176.ps">
Semantics of Memory Management for Polymorphic Languages</a>,
<i> Greg Morrisett and Robert Harper</i>,
CMU Technical Report CMU-CS-96-176 [Also appears as CMU-CS-FOX-96-04],
September, 1996.
<li> <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/thesis_ps.zip">Compiling with Types</a>, <i>Greg Morrisett</i>, (gzipped postscript), Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995.<li> <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/pldi96.ps">TIL: A Type-Directed Optimizing Compiler for ML</a>,<i>D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee</i>,1996 SIGPLAN Conference on Programming Language Design and Implementation.<li><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/wcsss.ps">The TIL/ML Compiler: Performance and SafetyThrough Types</a>,<i>G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee</i>,1996 Workshop on Compiler Support for Systems Software.<li> <!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/closure-summary.ps">Typed Closure Conversion </a>,<i> Yasuhiko Minamide, Greg Morrisett, and Robert Harper </i>,To appear in the 1996 Symposium on Principles of Programming Languages.Extended version published as CMU Technical Report<!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/closure.ps"> CMU-CS-FOX-95-05</a> , July 1995.<li> <!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/fpca_gc.ps"> Abstract Models of Memory Management</a>,(<!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/fpca_gc.dvi">dvi version</a>)<i> Greg Morrisett, Matthias Felleisen, and Robert Harper</i>, 1995 Conf. on Functional Programming Languages andComputer Architecture. Extended version published as CMU Technical Report<!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/gc-tr.ps">CMU-CS-95-110</a>, (<!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/gc_tr.dvi">dvi version</a>) also as CMU Fox NoteCMU-CS-95-01. <LI> <!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/ip-popl.ps"> Compiling Polymorphism Using IntensionalType Analysis</a>, <i>Robert Harper and Greg Morrisett</i> Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco,January 1995.<li><!WA20><!WA20><!WA20><!WA20><a HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/opt-par.ps">Optimistic Parallelization</a><i>Greg Morrisett and Maurice Herlihy.</i>CMU-CS-93-171, October 1993.<LI> <!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-callcs.ps"> Refining First-Class Stores</A>, <I>J. Gregory Morrisett,</I> Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages, Copenhagen, Denmark, June 1993.<LI> <!WA22><!WA22><!WA22><!WA22><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-ppopp.ps"> Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey</A>, <I>J. Gregory Morrisett and Andrew Tolmach,</I> Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, May 1993.<LI> <!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-mp.ps"> A Portable Multiprocessing Interface for Standard ML of New Jersey</A>, <I>J. Gregory Morrisett and Andrew Tolmach,</I> CMU-CS-92-155, June 1992. Also appears as a Princeton TR.<LI> <!WA24><!WA24><!WA24><!WA24><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-mlthreads.ps"> Adding Threads to Standard ML</A>, <I>Eric Cooper and J. Gregory Morrisett,</I> CMU-CS-90-186, December 1990.</menu><P><A NAME = "Links"><h3> Related Research Links: </h3><menu><li> Mark Leone's <!WA25><!WA25><!WA25><!WA25><a href="http://foxnet.cs.cmu.edu/people/mleone/language-research.html">Resources for Programming Language Research</a>.<li> I used to be a member of the <!WA26><!WA26><!WA26><!WA26><a href="http://foxnet.cs.cmu.edu">Fox Project</a> at <!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.cmu.edu">Carnegie Mellon</a>.<li>On-line information about <!WA28><!WA28><!WA28><!WA28><a href="http://foxnet.cs.cmu.edu/sml.html">Standard ML</a>.<li>Home pages of <!WA29><!WA29><!WA29><!WA29><a href="http://foxnet.cs.cmu.edu/people/mleone/language-people.html">researchers in programming languages</a>.<li>Home pages of <!WA30><!WA30><!WA30><!WA30><a href="http://foxnet.cs.cmu.edu/people/mleone/projects.html">research projects in programming languages</a>.<li>Programming-language oriented <!WA31><!WA31><!WA31><!WA31><a href="http://foxnet.cs.cmu.edu/people/mleone/bibliogrphies.html">bibliographies</a>.<li><!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.cornell.edu">Cornell Department of Computer Science</a></menu><A NAME = "Personal"><H3>Personal Information</H3><p>Home Address:<i><dl><dt> 544 Warren Road #4<dt> Ithaca, NY 14850<dt> phone: (607) 257-3211</dl></i></body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -