J. Gregory Morrisett

Greg Morrisett

	2011
78		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
77		Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett: Evaluating value-graph translation validation for LLVM. PLDI 2011: 295-305
76		Gregory Malecha, Greg Morrisett, Ryan Wisnesky: Trace-based verification of imperative programs with I/O. J. Symb. Comput. 46(2): 95-118 (2011)
	2010
75		Joseph Siefers, Gang Tan, Greg Morrisett: Robusta: taming the native beast of the JVM. ACM Conference on Computer and Communications Security 2010: 201-211
74		Geoffrey Mainland, Greg Morrisett: Nikola: embedding compiled GPU functions in Haskell. Haskell 2010: 67-78
73		J. Gregory Malecha, Greg Morrisett: Mechanized Verification with Sharing. ICTAC 2010: 245-259
72		Greg Morrisett: Integrating Types and Specifications for Secure Software Development. MMM-ACNS 2010: 32-35
71		J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Toward a verified relational database management system. POPL 2010: 237-248
	2009
70		Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
69		Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
68		Greg Morrisett: Technical perspective - A compiler's story. Commun. ACM 52(7): 106 (2009)
	2008
67		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
66		Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
65		Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
64		Geoffrey Mainland, Greg Morrisett, Matt Welsh: Flask: staged functional programming for sensor networks. ICFP 2008: 335-346
63		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
62		Greg Morrisett: Programming with Effects in Coq. MPC 2008: 28
61		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
60		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
59		Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008)
	2007
58		Greg Morrisett, Mooly Sagiv: Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007 ACM 2007
57		Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
56		Ryan Newton, Greg Morrisett, Matt Welsh: The regiment macroprogramming system. IPSN 2007: 489-498
55		Gang Tan, Greg Morrisett: Ilea: inter-language analysis across java and c. OOPSLA 2007: 39-56
54		Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton: Sensor network programming with Flask. SenSys 2007: 385-386
53		Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
	2006
52		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
51		Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
50		Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
49		Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider: Certified In-lined Reference Monitoring on .NET. PLAS 2006: 7-16
48		Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1): 175-205 (2006)
47		Matthew Fluet, Greg Morrisett: Monadic regions. J. Funct. Program. 16(4-5): 485-545 (2006)
46		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
45		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
44		Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
43		Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
42		Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
	2004
41		Matthew Fluet, J. Gregory Morrisett: Monadic regions. ICFP 2004: 103-114
40		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
39		J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PEPM 2004: 203
38		J. Gregory Morrisett: Invited talk: what's the future for proof-carrying code? PPDP 2004: 5
37		Paul Hudak, Greg Morrisett: Editorial. J. Funct. Program. 14(4): (2004)
	2003
36		Alex Aiken, Greg Morrisett: 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
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): 33-41 (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: 230-241 (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	[42]
2	Amal Ahmed (Amal J. Ahmed)	[43] [44] [51] [53] [57] [60] [61] [67]
3	Alexander Aiken (Alex Aiken)	[36]
4	Anindya Basu	[12]
5	Nick Benton (P. N. Benton)	[60] [61] [67]
6	Lars Birkedal	[50] [57] [59] [65] [66]
7	James Cheney	[28] [29]
8	Perry Cheng	[6] [7]
9	Adam Chlipala	[70]
10	Michael B. Craig	[63]
11	Karl Crary	[9] [10] [13] [14] [15] [18] [21] [26] [27] [32]
12	Thorsten von Eicken	[12]
13	Manuel Fähndrich	[45]
14	Matthias Felleisen	[4]
15	Matthew Fluet	[41] [43] [44] [47] [51] [53]
16	Lewis Girod	[63]
17	Neal Glew	[9] [10] [14] [16] [27] [32]
18	Paul Govereau	[65] [69] [77]
19	Dan Grossman	[17] [20] [23] [28] [29] [33] [40] [46]
20	Nicholas Haines	[2]
21	Kevin W. Hamlen	[48] [49]
22	Robert Harper	[3] [4] [5] [6] [7] [8] [25]
23	Michael W. Hicks (Michael Hicks)	[28] [29] [40] [46]
24	Martin Hofmann	[60] [61] [67]
25	Luke Hornof	[33]
26	Paul Hudak	[37]
27	Trevor Jim	[28] [29] [33] [40] [46]
28	Simon L. Peyton Jones	[52]
29	Darrell Kindred	[2]
30	Peter Lee	[6] [7]
31	Samuel Madden	[63]
32	Geoffrey Mainland	[54] [64] [74]
33	Gregory Malecha (J. Gregory Malecha)	[70] [71] [73] [76]
34	Gary McGraw	[19]
35	Yasuhiko Minamide	[5]
36	Aleksandar Nanevski	[50] [57] [59] [65] [66] [69]
37	Scott Nettles	[2]
38	Ryan Newton	[54] [56] [63]
39	Rasmus Lerchedahl Petersen	[66]
40	Andrei Sabelfeld	[42]
41	Shmuel Sagiv (Mooly Sagiv)	[58]
42	Fred B. Schneider	[25] [48] [49]
43	Avraham Shinnar	[65] [70] [71]
44	Joseph Siefers	[75]
45	Frederick Smith	[11] [24] [33]
46	Christopher A. Stone	[6] [7]
47	Nikhil Swamy	[46]
48	Gang Tan	[55] [75] [78]
49	David Tarditi	[6] [7]
50	Andrew P. Tolmach	[1]
51	Jean-Baptiste Tristan	[77]
52	David Walker	[9] [10] [14] [15] [21] [22] [24] [27] [32]
53	Yanling Wang	[28] [29]
54	Stephanie Weirich	[13] [26]
55	Matt Welsh	[54] [56] [64]
56	Jeannette M. Wing	[2]
57	Ryan Wisnesky	[70] [71] [76]
58	Steve Zdancewic	[17] [20]
59	Bin Zeng	[78]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page