The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. Gregory Morrisett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. J. Gregory Morrisett
    Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:1-2 [Conf]
  3. 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]
  4. J. Gregory Morrisett
    Type Checking Systems Code. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:1-5 [Conf]
  5. Frederick Smith, David Walker, J. Gregory Morrisett
    Alias Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:366-381 [Conf]
  6. J. Gregory Morrisett, Matthias Felleisen, Robert Harper
    Abstract Models of Memory Management. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:66-77 [Conf]
  7. Karl Crary, J. Gregory Morrisett
    Type Structure for Low-Level Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:40-54 [Conf]
  8. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
    Intensional Polymorphism in Type-Erasure Semantics. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:301-312 [Conf]
  9. Matthew Fluet, J. Gregory Morrisett
    Monadic regions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:103-114 [Conf]
  10. 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]
  11. J. Gregory Morrisett
    Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:1-2 [Conf]
  12. 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]
  13. 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]
  14. Frederick Smith, J. Gregory Morrisett
    Comparing Mostly-Copying and Mark-Sweep Conservative Collection. [Citation Graph (0, 0)][DBLP]
    ISMM, 1998, pp:68-78 [Conf]
  15. J. Gregory Morrisett
    Analysis issues for cyclone. [Citation Graph (0, 0)][DBLP]
    PASTE, 2002, pp:26- [Conf]
  16. J. Gregory Morrisett
    Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:203- [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Neal Glew, J. Gregory Morrisett
    Type-Safe Linking and Modular Assembly Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:250-261 [Conf]
  22. Robert Harper, J. Gregory Morrisett
    Compiling Polymorphism Using Intensional Type Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:130-141 [Conf]
  23. Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
    Typed Closure Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:271-283 [Conf]
  24. 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]
  25. J. Gregory Morrisett
    Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:5- [Conf]
  26. 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]
  27. Dan Grossman, J. Gregory Morrisett
    Scalable Certification for Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:117-146 [Conf]
  28. 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]
  29. David Walker, J. Gregory Morrisett
    Alias Types for Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:177-206 [Conf]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]

  41. Design and evaluation of a compiler for embedded stream programs. [Citation Graph (, )][DBLP]


  42. Sensor network programming with Flask. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002