J. Gregory Morrisett

Publication Activity (10 Years)

Years Active: 1993-2008
Publications (10 Years): 0

Publications

Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden, J. Gregory Morrisett
Design and evaluation of a compiler for embedded stream programs. LCTES (2008)
Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal
Hoare type theory, polymorphism and separation. J. Funct. Program. 18 (5-6) (2008)
Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton
Sensor network programming with Flask. SenSys (2007)
Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider
Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28 (1) (2006)
J. Gregory Morrisett
Invited talk: what's the future for proof-carrying code? PPDP (2004)
Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Experience with safe manual memory-management in cyclone. ISMM (2004)
J. Gregory Morrisett
Invited talk: what's the future for proof-carrying code? PEPM (2004)
Matthew Fluet, J. Gregory Morrisett
Monadic regions. ICFP (2004)
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-based typed assembly language. J. Funct. Program. 13 (5) (2003)
Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. J. Funct. Program. 13 (3) (2003)
J. Gregory Morrisett
Achieving Type Safety for Low-Level Code. ASIAN (2003)
J. Gregory Morrisett
Achieving Type Safety for Low-Level Code. ICLP (2003)
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Region-Based Memory Management in Cyclone. PLDI (2002)
J. Gregory Morrisett
Analysis issues for cyclone. PASTE (2002)
Karl Crary, Stephanie Weirich, J. Gregory Morrisett
Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12 (6) (2002)
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-based typed assembly language. J. Funct. Program. 12 (1) (2002)
J. Gregory Morrisett
Type Checking Systems Code. ESOP (2002)
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track (2002)
Fred B. Schneider, J. Gregory Morrisett, Robert Harper
A Language-Based Approach to Security. Informatics (2001)
Frederick Smith, David Walker, J. Gregory Morrisett
Alias Types. ESOP (2000)
Gary McGraw, J. Gregory Morrisett
Attacking Malicious Code: A Report to the Infosec Research Council. IEEE Softw. 17 (5) (2000)
David Walker, Karl Crary, J. Gregory Morrisett
Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22 (4) (2000)
Dan Grossman, J. Gregory Morrisett
Scalable Certification for Typed Assembly Language. Types in Compilation (2000)
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic
Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22 (6) (2000)
David Walker, J. Gregory Morrisett
Alias Types for Recursive Data Structures. Types in Compilation (2000)
J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From system F to typed assembly language. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Karl Crary, David Walker, J. Gregory Morrisett
Typed Memory Management in a Calculus of Capabilities. POPL (1999)
Neal Glew, J. Gregory Morrisett
Type-Safe Linking and Modular Assembly Language. POPL (1999)
Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
Principals in Programming Languages: A Syntactic Proof Technique. ICFP (1999)
Karl Crary, J. Gregory Morrisett
Type Structure for Low-Level Programming Languages. ICALP (1999)
Karl Crary, Stephanie Weirich, J. Gregory Morrisett
Intensional Polymorphism in Type-Erasure Semantics. ICFP (1998)
Frederick Smith, J. Gregory Morrisett
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ISMM (1998)
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-Based Typed Assembly Language. Types in Compilation (1998)
J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From System F to Typed Assembly Language. POPL (1998)
Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken
Promela++: A Language for Constructing Correct and Efficient Protocols. INFOCOM (1998)
J. Gregory Morrisett, Robert Harper
Typed Closure Conversion for Recursively-Defined Functions. Electron. Notes Theor. Comput. Sci. 10 (1997)
Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
Typed Closure Conversion. POPL (1996)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: A Type-Directed Optimizing Compiler for ML. PLDI (1996)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective) Best of PLDI (1996)
J. Gregory Morrisett, Matthias Felleisen, Robert Harper
Abstract Models of Memory Management. FPCA (1995)
Robert Harper, J. Gregory Morrisett
Compiling Polymorphism Using Intensional Type Analysis. POPL (1995)
Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing
Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. 16 (6) (1994)
J. Gregory Morrisett, Andrew P. Tolmach
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. PPOPP (1993)