J. Gregory Morrisett

Greg Morrisett

2009
67	EE	Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
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	EE	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
64	EE	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
63	EE	Geoffrey Mainland, Greg Morrisett, Matt Welsh: Flask: staged functional programming for sensor networks. ICFP 2008: 335-346
62	EE	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	EE	Greg Morrisett: Programming with Effects in Coq. MPC 2008: 28
60	EE	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	EE	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	EE	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	EE	Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
55	EE	Ryan Newton, Greg Morrisett, Matt Welsh: The regiment macroprogramming system. IPSN 2007: 489-498
54	EE	Gang Tan, Greg Morrisett: Ilea: inter-language analysis across java and c. OOPSLA 2007: 39-56
53	EE	Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton: Sensor network programming with Flask. SenSys 2007: 385-386
52	EE	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	EE	Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
49	EE	Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
48	EE	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider: Certified In-lined Reference Monitoring on .NET. PLAS 2006: 7-16
47	EE	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	EE	Matthew Fluet, Greg Morrisett: Monadic regions. J. Funct. Program. 16(4-5): 485-545 (2006)
45	EE	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	EE	Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
42	EE	Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
41	EE	Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
2004
40	EE	Matthew Fluet, J. Gregory Morrisett: Monadic regions. ICFP 2004: 103-114
39	EE	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
38	EE	J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PEPM 2004: 203
37	EE	J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PPDP 2004: 5
36	EE	Paul Hudak, Greg Morrisett: Editorial. J. Funct. Program. 14(4): (2004)
2003
35	EE	J. Gregory Morrisett: Achieving Type Safety for Low-Level Code. ASIAN 2003: 1-2
34	EE	J. Gregory Morrisett: Achieving Type Safety for Low-Level Code. ICLP 2003: 1-2
33	EE	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	EE	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
2002
31	EE	J. Gregory Morrisett: Type Checking Systems Code. ESOP 2002: 1-5
30	EE	J. Gregory Morrisett: Analysis issues for cyclone. PASTE 2002: 26
29	EE	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	EE	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	EE	Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
2001
25	EE	Fred B. Schneider, J. Gregory Morrisett, Robert Harper: A Language-Based Approach to Security. Informatics 2001: 86-101
2000
24	EE	Frederick Smith, David Walker, J. Gregory Morrisett: Alias Types. ESOP 2000: 366-381
23	EE	Dan Grossman, J. Gregory Morrisett: Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
22	EE	David Walker, J. Gregory Morrisett: Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206
21	EE	David Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
20	EE	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
19	EE	Gary McGraw, J. Gregory Morrisett: Attacking Malicious Code: A Report to the Infosec Research Council. IEEE Software 17(5): (2000)
1999
18	EE	Karl Crary, J. Gregory Morrisett: Type Structure for Low-Level Programming Languages. ICALP 1999: 40-54
17	EE	Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207
16	EE	Neal Glew, J. Gregory Morrisett: Type-Safe Linking and Modular Assembly Language. POPL 1999: 250-261
15	EE	Karl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
14	EE	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	EE	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	EE	Frederick Smith, J. Gregory Morrisett: Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ISMM 1998: 68-78
10	EE	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
9	EE	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
1997
8	EE	J. Gregory Morrisett, Robert Harper: Typed Closure Conversion for Recursively-Defined Functions. Electr. Notes Theor. Comput. Sci. 10: (1997)
1996
7	EE	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	EE	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	EE	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	Michael B. Craig	[62]
9	Karl Crary	[9] [10] [13] [14] [15] [18] [21] [26] [27] [32]
10	Thorsten von Eicken	[12]
11	Manuel Fähndrich	[44]
12	Matthias Felleisen	[4]
13	Matthew Fluet	[40] [42] [43] [46] [50] [52]
14	Lewis Girod	[62]
15	Neal Glew	[9] [10] [14] [16] [27] [32]
16	Paul Govereau	[64] [67]
17	Dan Grossman	[17] [20] [23] [28] [29] [33] [39] [45]
18	Nicholas Haines	[2]
19	Kevin W. Hamlen	[47] [48]
20	Robert Harper	[3] [4] [5] [6] [7] [8] [25]
21	Michael W. Hicks (Michael Hicks)	[28] [29] [39] [45]
22	Martin Hofmann	[59] [60] [66]
23	Luke Hornof	[33]
24	Paul Hudak	[36]
25	Trevor Jim	[28] [29] [33] [39] [45]
26	Simon L. Peyton Jones	[51]
27	Darrell Kindred	[2]
28	Peter Lee	[6] [7]
29	Samuel Madden	[62]
30	Geoffrey Mainland	[53] [63]
31	Gary McGraw	[19]
32	Yasuhiko Minamide	[5]
33	Aleksandar Nanevski	[49] [56] [58] [64] [65] [67]
34	Scott Nettles	[2]
35	Ryan Newton	[53] [55] [62]
36	Rasmus Lerchedahl Petersen	[65]
37	Andrei Sabelfeld	[41]
38	Shmuel Sagiv (Mooly Sagiv)	[57]
39	Fred B. Schneider	[25] [47] [48]
40	Avraham Shinnar	[64]
41	Frederick Smith	[11] [24] [33]
42	Christopher A. Stone	[6] [7]
43	Nikhil Swamy	[45]
44	Gang Tan	[54]
45	David Tarditi	[6] [7]
46	Andrew P. Tolmach	[1]
47	David Walker	[9] [10] [14] [15] [21] [22] [24] [27] [32]
48	Yanling Wang	[28] [29]
49	Stephanie Weirich	[13] [26]
50	Matt Welsh	[53] [55] [63]
51	Jeannette M. Wing	[2]
52	Steve Zdancewic	[17] [20]

Colors in the list of coauthors