J. Gregory Morrisett

45 papers A* 10A 5B 3C 4Misc 2Journal 11Unranked 9

Year	Rank	Type	Title / 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