J. Gregory Morrisett

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