J. Gregory Morrisett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
12
Active years
1993–2007
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SENSYS | Sensor network programming with Flask. | Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton |
| 2004 | ICFP | Monadic regions. | Matthew Fluet, J. Gregory Morrisett |
| 2004 | PEPM | Invited talk: what's the future for proof-carrying code? | J. Gregory Morrisett |
| 2004 | PPDP | Invited talk: what's the future for proof-carrying code? | J. Gregory Morrisett |
| 2003 | ICLP | Achieving Type Safety for Low-Level Code. | J. Gregory Morrisett |
| 2002 | ESOP | Type Checking Systems Code. | J. Gregory Morrisett |
| 2002 | PLDI | Region-Based Memory Management in Cyclone. | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
| 2002 | USENIX | Cyclone: A Safe Dialect of C. | Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang |
| 2000 | ESOP | Alias Types. | Frederick Smith, David Walker, J. Gregory Morrisett |
| 1999 | ICALP | Type Structure for Low-Level Programming Languages. | Karl Crary, J. Gregory Morrisett |
| 1999 | ICFP | Principals in Programming Languages: A Syntactic Proof Technique. | Steve Zdancewic, Dan Grossman, J. Gregory Morrisett |
| 1999 | POPL | Typed Memory Management in a Calculus of Capabilities. | Karl Crary, David Walker, J. Gregory Morrisett |
| 1999 | POPL | Type-Safe Linking and Modular Assembly Language. | Neal Glew, J. Gregory Morrisett |
| 1998 | ICFP | Intensional Polymorphism in Type-Erasure Semantics. | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
| 1998 | INFOCOM | Promela++: A Language for Constructing Correct and Efficient Protocols. | Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken |
| 1998 | POPL | From System F to Typed Assembly Language. | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
| 1996 | PLDI | TIL: A Type-Directed Optimizing Compiler for ML. | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | PLDI | TIL: a type-directed, optimizing compiler for ML (with retrospective) | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | POPL | Typed Closure Conversion. | Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper |
| 1995 | POPL | Compiling Polymorphism Using Intensional Type Analysis. | Robert Harper, J. Gregory Morrisett |
| 1993 | PPoPP | Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. | J. Gregory Morrisett, Andrew P. Tolmach |