Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
J. Gregory Morrisett
Greg Morrisett
2010 – today
- 2013
[c60]Amanda Peters Randles, David G. Rand, Christopher Lee, Greg Morrisett, Jayanta Sircar, Martin A. Nowak, Hanspeter Pfister: Massively Parallel Model of Extended Memory Use in Evolutionary Game Dynamics. IPDPS 2013: 1217-1228- [c59]Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett: All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy 2013: 3-17
- [e6]Greg Morrisett, Tarmo Uustalu (Eds.): ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. ACM 2013, ISBN 978-1-4503-2326-0
- 2012
- [c58]
- [c57]
- [c56]Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan: RockSalt: better, faster, stronger SFI for the x86. PLDI 2012: 395-404
- [c55]Udit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan: Hardware Support for Safety Interlocks and Introspection. SASO Workshops 2012: 1-8
- 2011
- [j19]Gregory Malecha, Greg Morrisett, Ryan Wisnesky: Trace-based verification of imperative programs with I/O. J. Symb. Comput. 46(2): 95-118 (2011)
- [c54]Bin Zeng, Gang Tan, Greg Morrisett: Combining control-flow integrity and static analysis for efficient and validated data sandboxing. ACM Conference on Computer and Communications Security 2011: 29-40
- [c53]Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett: Evaluating value-graph translation validation for LLVM. PLDI 2011: 295-305
- 2010
- [c52]Joseph Siefers, Gang Tan, Greg Morrisett: Robusta: taming the native beast of the JVM. ACM Conference on Computer and Communications Security 2010: 201-211
- [c51]Geoffrey Mainland, Greg Morrisett: Nikola: embedding compiled GPU functions in Haskell. Haskell 2010: 67-78
- [c50]
- [c49]Greg Morrisett: Integrating Types and Specifications for Secure Software Development. MMM-ACNS 2010: 32-35
- [c48]J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Toward a verified relational database management system. POPL 2010: 237-248
2000 – 2009
- 2009
- [j18]
- [c47]Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
- [c46]Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
- 2008
- [j17]Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008)
- [c45]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
- [c44]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
- [c43]Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
- [c42]Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
- [c41]Geoffrey Mainland, Greg Morrisett, Matt Welsh: Flask: staged functional programming for sensor networks. ICFP 2008: 335-346
- [c40]Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden, J. Gregory Morrisett: Design and evaluation of a compiler for embedded stream programs. LCTES 2008: 131-140
- [c39]
- [e5]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (Eds.): Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [j16]Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
- [c38]Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
- [c37]
- [c36]
- [c35]Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton: Sensor network programming with Flask. SenSys 2007: 385-386
- [e4]Greg Morrisett, Mooly Sagiv (Eds.): Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007. ACM 2007, ISBN 978-1-59593-893-0
- 2006
- [j15]
- [j14]Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
- [j13]Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1): 175-205 (2006)
- [c34]
- [c33]Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
- [c32]Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider: Certified In-lined Reference Monitoring on .NET. PLAS 2006: 7-16
- [e3]J. Gregory Morrisett, Simon L. Peyton Jones (Eds.): Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. ACM 2006, ISBN 1-59593-027-2
- 2005
- [j12]Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
- [c31]Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
- [c30]Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
- [e2]J. Gregory Morrisett, Manuel Fähndrich (Eds.): Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM 2005, ISBN 1-58113-999-3
- 2004
- [j11]
- [c29]
- [c28]Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
- [c27]
- [c26]
- 2003
- [j10]Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim: Compiling for template-based run-time code generation. J. Funct. Program. 13(3): 677-708 (2003)
- [j9]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
- [c25]
- [c24]
- [e1]Alex Aiken, Greg Morrisett (Eds.): Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003, ISBN 1-58113-628-5
- 2002
- [j8]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
- [j7]Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
- [c23]
- [c22]
- [c21]Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
- [c20]Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang: Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track 2002: 275-288
- 2001
- [c19]Fred B. Schneider, J. Gregory Morrisett, Robert Harper: A Language-Based Approach to Security. Informatics 2001: 86-101
- 2000
- [j6]Gary McGraw, J. Gregory Morrisett: Attacking Malicious Code: A Report to the Infosec Research Council. IEEE Software 17(5): 33-41 (2000)
- [j5]David Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
- [j4]Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
- [c18]
- [c17]Dan Grossman, J. Gregory Morrisett: Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
- [c16]David Walker, J. Gregory Morrisett: Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206
1990 – 1999
- 1999
- [j3]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From system F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3): 527-568 (1999)
- [c15]Karl Crary, J. Gregory Morrisett: Type Structure for Low-Level Programming Languages. ICALP 1999: 40-54
- [c14]Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207
- [c13]
- [c12]Karl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
- 1998
- [c11]Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312
- [c10]Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken: Promela++: A Language for Constructing Correct and Efficient Protocols. INFOCOM 1998: 455-462
- [c9]Frederick Smith, J. Gregory Morrisett: Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ISMM 1998: 68-78
- [c8]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
- [c7]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
- 1997
- [j2]J. Gregory Morrisett, Robert Harper: Typed Closure Conversion for Recursively-Defined Functions. Electr. Notes Theor. Comput. Sci. 10: 230-241 (1997)
- 1996
- [c6]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee: TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192
- [c5]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee: TIL: a type-directed, optimizing compiler for ML (with retrospective). Best of PLDI 1996: 554-567
- [c4]Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper: Typed Closure Conversion. POPL 1996: 271-283
- 1995
- [c3]J. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. FPCA 1995: 66-77
- [c2]Robert Harper, J. Gregory Morrisett: Compiling Polymorphism Using Intensional Type Analysis. POPL 1995: 130-141
- 1994
- [j1]Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing: Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. 16(6): 1719-1736 (1994)
- 1993
- [c1]J. Gregory Morrisett, Andrew P. Tolmach: Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. PPOPP 1993: 198-207
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team