|
Search the dblp DataBase
J. Gregory Morrisett:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing
Composing First-Class Transactions. [Citation Graph (1, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1719-1736 [Journal]
- J. Gregory Morrisett
Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP] ASIAN, 2003, pp:1-2 [Conf]
- Fred B. Schneider, J. Gregory Morrisett, Robert Harper
A Language-Based Approach to Security. [Citation Graph (0, 0)][DBLP] Informatics, 2001, pp:86-101 [Conf]
- J. Gregory Morrisett
Type Checking Systems Code. [Citation Graph (0, 0)][DBLP] ESOP, 2002, pp:1-5 [Conf]
- Frederick Smith, David Walker, J. Gregory Morrisett
Alias Types. [Citation Graph (0, 0)][DBLP] ESOP, 2000, pp:366-381 [Conf]
- J. Gregory Morrisett, Matthias Felleisen, Robert Harper
Abstract Models of Memory Management. [Citation Graph (0, 0)][DBLP] FPCA, 1995, pp:66-77 [Conf]
- Karl Crary, J. Gregory Morrisett
Type Structure for Low-Level Programming Languages. [Citation Graph (0, 0)][DBLP] ICALP, 1999, pp:40-54 [Conf]
- Karl Crary, Stephanie Weirich, J. Gregory Morrisett
Intensional Polymorphism in Type-Erasure Semantics. [Citation Graph (0, 0)][DBLP] ICFP, 1998, pp:301-312 [Conf]
- Matthew Fluet, J. Gregory Morrisett
Monadic regions. [Citation Graph (0, 0)][DBLP] ICFP, 2004, pp:103-114 [Conf]
- Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
Principals in Programming Languages: A Syntactic Proof Technique. [Citation Graph (0, 0)][DBLP] ICFP, 1999, pp:197-207 [Conf]
- J. Gregory Morrisett
Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:1-2 [Conf]
- Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken
Promela++: A Language for Constructing Correct and Efficient Protocols. [Citation Graph (0, 0)][DBLP] INFOCOM, 1998, pp:455-462 [Conf]
- Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Experience with safe manual memory-management in cyclone. [Citation Graph (0, 0)][DBLP] ISMM, 2004, pp:73-84 [Conf]
- Frederick Smith, J. Gregory Morrisett
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. [Citation Graph (0, 0)][DBLP] ISMM, 1998, pp:68-78 [Conf]
- J. Gregory Morrisett
Analysis issues for cyclone. [Citation Graph (0, 0)][DBLP] PASTE, 2002, pp:26- [Conf]
- J. Gregory Morrisett
Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP] PEPM, 2004, pp:203- [Conf]
- Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Region-Based Memory Management in Cyclone. [Citation Graph (0, 0)][DBLP] PLDI, 2002, pp:282-293 [Conf]
- David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
TIL: A Type-Directed Optimizing Compiler for ML. [Citation Graph (0, 0)][DBLP] PLDI, 1996, pp:181-192 [Conf]
- David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective) [Citation Graph (0, 0)][DBLP] Best of PLDI, 1996, pp:554-567 [Conf]
- Karl Crary, David Walker, J. Gregory Morrisett
Typed Memory Management in a Calculus of Capabilities. [Citation Graph (0, 0)][DBLP] POPL, 1999, pp:262-275 [Conf]
- Neal Glew, J. Gregory Morrisett
Type-Safe Linking and Modular Assembly Language. [Citation Graph (0, 0)][DBLP] POPL, 1999, pp:250-261 [Conf]
- Robert Harper, J. Gregory Morrisett
Compiling Polymorphism Using Intensional Type Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:130-141 [Conf]
- Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
Typed Closure Conversion. [Citation Graph (0, 0)][DBLP] POPL, 1996, pp:271-283 [Conf]
- J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:85-97 [Conf]
- J. Gregory Morrisett
Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:5- [Conf]
- J. Gregory Morrisett, Andrew P. Tolmach
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. [Citation Graph (0, 0)][DBLP] PPOPP, 1993, pp:198-207 [Conf]
- Dan Grossman, J. Gregory Morrisett
Scalable Certification for Typed Assembly Language. [Citation Graph (0, 0)][DBLP] Types in Compilation, 2000, pp:117-146 [Conf]
- J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP] Types in Compilation, 1998, pp:28-52 [Conf]
- David Walker, J. Gregory Morrisett
Alias Types for Recursive Data Structures. [Citation Graph (0, 0)][DBLP] Types in Compilation, 2000, pp:177-206 [Conf]
- Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
Cyclone: A Safe Dialect of C. [Citation Graph (0, 0)][DBLP] USENIX Annual Technical Conference, General Track, 2002, pp:275-288 [Conf]
- J. Gregory Morrisett, Robert Harper
Typed Closure Conversion for Recursively-Defined Functions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
- Karl Crary, Stephanie Weirich, J. Gregory Morrisett
Intensional polymorphism in type-erasure semantics. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2002, v:12, n:6, pp:567-600 [Journal]
- J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2002, v:12, n:1, pp:3-88 [Journal]
- J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2003, v:13, n:5, pp:957-959 [Journal]
- Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]
- Gary McGraw, J. Gregory Morrisett
Attacking Malicious Code: A Report to the Infosec Research Council. [Citation Graph (0, 0)][DBLP] IEEE Software, 2000, v:17, n:5, pp:- [Journal]
- Dan Grossman, J. Gregory Morrisett, Steve Zdancewic
Syntactic type abstraction. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:6, pp:1037-1080 [Journal]
- Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider
Computability classes for enforcement mechanisms. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2006, v:28, n:1, pp:175-205 [Journal]
- J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
From system F to typed assembly language. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal]
- David Walker, Karl Crary, J. Gregory Morrisett
Typed memory management via static capabilities. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:4, pp:701-771 [Journal]
Design and evaluation of a compiler for embedded stream programs. [Citation Graph (, )][DBLP]
Sensor network programming with Flask. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.331secs
|