J. Gregory Morrisett

Greg Morrisett

	2009
69		Adam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
68		Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
67		Greg Morrisett: Technical perspective - A compiler's story. Commun. ACM 52(7): 106 (2009)
	2008
66		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: Types, Logics and Semantics for State, 03.02. - 08.02.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
65		Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
64		Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
63		Geoffrey Mainland, Greg Morrisett, Matt Welsh: Flask: staged functional programming for sensor networks. ICFP 2008: 335-346
62		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
61		Greg Morrisett: Programming with Effects in Coq. MPC 2008: 28
60		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
59		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
58		Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008)
	2007
57		Greg Morrisett, Mooly Sagiv: Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007 ACM 2007
56		Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
55		Ryan Newton, Greg Morrisett, Matt Welsh: The regiment macroprogramming system. IPSN 2007: 489-498
54		Gang Tan, Greg Morrisett: Ilea: inter-language analysis across java and c. OOPSLA 2007: 39-56
53		Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton: Sensor network programming with Flask. SenSys 2007: 385-386
52		Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
	2006
51		J. Gregory Morrisett, Simon L. Peyton Jones: 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
50		Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
49		Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
48		Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider: Certified In-lined Reference Monitoring on .NET. PLAS 2006: 7-16
47		Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1): 175-205 (2006)
46		Matthew Fluet, Greg Morrisett: Monadic regions. J. Funct. Program. 16(4-5): 485-545 (2006)
45		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)
	2005
44		J. Gregory Morrisett, Manuel Fähndrich: 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
43		Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
42		Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
41		Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
	2004
40		Matthew Fluet, J. Gregory Morrisett: Monadic regions. ICFP 2004: 103-114
39		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
38		J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PEPM 2004: 203
37		J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PPDP 2004: 5
36		Paul Hudak, Greg Morrisett: Editorial. J. Funct. Program. 14(4): (2004)
	2003
35		J. Gregory Morrisett: Achieving Type Safety for Low-Level Code. ASIAN 2003: 1-2
34		J. Gregory Morrisett: Achieving Type Safety for Low-Level Code. ICLP 2003: 1-2
33		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)
32		J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
	2002
31		J. Gregory Morrisett: Type Checking Systems Code. ESOP 2002: 1-5
30		J. Gregory Morrisett: Analysis issues for cyclone. PASTE 2002: 26
29		Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
28		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
27		J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
26		Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
	2001
25		Fred B. Schneider, J. Gregory Morrisett, Robert Harper: A Language-Based Approach to Security. Informatics 2001: 86-101
	2000
24		Frederick Smith, David Walker, J. Gregory Morrisett: Alias Types. ESOP 2000: 366-381
23		Dan Grossman, J. Gregory Morrisett: Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
22		David Walker, J. Gregory Morrisett: Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206
21		David Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
20		Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
19		Gary McGraw, J. Gregory Morrisett: Attacking Malicious Code: A Report to the Infosec Research Council. IEEE Software 17(5): (2000)
	1999
18		Karl Crary, J. Gregory Morrisett: Type Structure for Low-Level Programming Languages. ICALP 1999: 40-54
17		Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207
16		Neal Glew, J. Gregory Morrisett: Type-Safe Linking and Modular Assembly Language. POPL 1999: 250-261
15		Karl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
14		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)
	1998
13		Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312
12		Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken: Promela++: A Language for Constructing Correct and Efficient Protocols. INFOCOM 1998: 455-462
11		Frederick Smith, J. Gregory Morrisett: Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ISMM 1998: 68-78
10		J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
9		J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
	1997
8		J. Gregory Morrisett, Robert Harper: Typed Closure Conversion for Recursively-Defined Functions. Electr. Notes Theor. Comput. Sci. 10: (1997)
	1996
7		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
6		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
5		Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper: Typed Closure Conversion. POPL 1996: 271-283
	1995
4		J. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. FPCA 1995: 66-77
3		Robert Harper, J. Gregory Morrisett: Compiling Polymorphism Using Intensional Type Analysis. POPL 1995: 130-141
	1994
2		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
1		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

1	Martín Abadi	[41]
2	Amal Ahmed (Amal J. Ahmed)	[42] [43] [50] [52] [56] [59] [60] [66]
3	Anindya Basu	[12]
4	Nick Benton (P. N. Benton)	[59] [60] [66]
5	Lars Birkedal	[49] [56] [58] [64] [65]
6	James Cheney	[28] [29]
7	Perry Cheng	[6] [7]
8	Adam J. Chlipala	[69]
9	Michael B. Craig	[62]
10	Karl Crary	[9] [10] [13] [14] [15] [18] [21] [26] [27] [32]
11	Thorsten von Eicken	[12]
12	Manuel Fähndrich	[44]
13	Matthias Felleisen	[4]
14	Matthew Fluet	[40] [42] [43] [46] [50] [52]
15	Lewis Girod	[62]
16	Neal Glew	[9] [10] [14] [16] [27] [32]
17	Paul Govereau	[64] [68]
18	Dan Grossman	[17] [20] [23] [28] [29] [33] [39] [45]
19	Nicholas Haines	[2]
20	Kevin W. Hamlen	[47] [48]
21	Robert Harper	[3] [4] [5] [6] [7] [8] [25]
22	Michael W. Hicks (Michael Hicks)	[28] [29] [39] [45]
23	Martin Hofmann	[59] [60] [66]
24	Luke Hornof	[33]
25	Paul Hudak	[36]
26	Trevor Jim	[28] [29] [33] [39] [45]
27	Simon L. Peyton Jones	[51]
28	Darrell Kindred	[2]
29	Peter Lee	[6] [7]
30	Samuel Madden	[62]
31	Geoffrey Mainland	[53] [63]
32	J. Gregory Malecha	[69]
33	Gary McGraw	[19]
34	Yasuhiko Minamide	[5]
35	Aleksandar Nanevski	[49] [56] [58] [64] [65] [68]
36	Scott Nettles	[2]
37	Ryan Newton	[53] [55] [62]
38	Rasmus Lerchedahl Petersen	[65]
39	Andrei Sabelfeld	[41]
40	Shmuel Sagiv (Mooly Sagiv)	[57]
41	Fred B. Schneider	[25] [47] [48]
42	Avraham Shinnar	[64] [69]
43	Frederick Smith	[11] [24] [33]
44	Christopher A. Stone	[6] [7]
45	Nikhil Swamy	[45]
46	Gang Tan	[54]
47	David Tarditi	[6] [7]
48	Andrew P. Tolmach	[1]
49	David Walker	[9] [10] [14] [15] [21] [22] [24] [27] [32]
50	Yanling Wang	[28] [29]
51	Stephanie Weirich	[13] [26]
52	Matt Welsh	[53] [55] [63]
53	Jeannette M. Wing	[2]
54	Ryan Wisnesky	[69]
55	Steve Zdancewic	[17] [20]

Colors in the list of coauthors