Neal Glew

2007
21		Neal Glew, Guy E. Blelloch: Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007 ACM 2007
2006
20	EE	Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen: A verifiable SSA program representation for aggressive compiler optimization. POPL 2006: 397-408
2005
19	EE	Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416
18	EE	Neal Glew, Jens Palsberg, Christian Grothoff: Type-Safe Optimisation of Plugin Architectures. SAS 2005: 135-154
17	EE	Michal Cierniak, Marsha Eng, Neal Glew, Brian T. Lewis, James M. Stichnoth: The Open Runtime Platform: a flexible high-performance managed runtime environment. Concurrency - Practice and Experience 17(5-6): 617-637 (2005)
16	EE	Neal Glew, Jens Palsberg: Method Inlining, Dynamic Class Loading, and Type Soundness. Journal of Object Technology 4(8): 33-53 (2005)
2004
15	EE	Neal Glew, Spyridon Triantafyllis, Michal Cierniak, Marsha Eng, Brian T. Lewis, James M. Stichnoth: LIL: An Architecture-Neutral Language for Virtual-Machine Stubs. Virtual Machine Research and Technology Symposium 2004: 111-125
14	EE	Todd Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth: Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. Journal of Object Technology 3(9): 53-70 (2004)
13	EE	Neal Glew, Jens Palsberg: Type-safe method inlining. Sci. Comput. Program. 52: 281-306 (2004)
2003
12	EE	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
2002
11	EE	Neal Glew, Jens Palsberg: Type-Safe Method Inlining. ECOOP 2002: 525-544
10	EE	Neal Glew: A Theory of Second-Order Trees. ESOP 2002: 147-161
9	EE	Martín Abadi, Neal Glew: Certified email with a light on-line trusted third party: design and implementation. WWW 2002: 387-395
8		J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
2000
7	EE	Neal Glew: An efficient class and object encoding. OOPSLA 2000: 311-324
1999
6	EE	Neal Glew: Type Dispatch for Named Hierarchical Types. ICFP 1999: 172-182
5	EE	Neal Glew, J. Gregory Morrisett: Type-Safe Linking and Modular Assembly Language. POPL 1999: 250-261
4	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)
3	EE	Neal Glew: Object Closure Conversion. Electr. Notes Theor. Comput. Sci. 26: (1999)
1998
2	EE	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
1	EE	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52

Coauthor Index

1	Martín Abadi	[9]
2	Ali-Reza Adl-Tabatabai	[20]
3	Todd Anderson	[14]
4	Guy E. Blelloch	[21]
5	Michal Cierniak	[15] [17]
6	Karl Crary	[1] [2] [4] [8] [12]
7	Marsha Eng	[14] [15] [17]
8	Christian Grothoff	[18]
9	Limin Jia	[19]
10	Brian T. Lewis	[14] [15] [17]
11	Andrew McCreight	[20]
12	Vijay Menon	[14] [20]
13	J. Gregory Morrisett (Greg Morrisett)	[1] [2] [4] [5] [8] [12]
14	Brian R. Murphy	[20]
15	Jens Palsberg	[11] [13] [16] [18]
16	Leaf Petersen	[20]
17	Tatiana Shpeisman	[20]
18	Frances Spalding	[19]
19	James M. Stichnoth	[14] [15] [17]
20	Spyridon Triantafyllis	[15]
21	David Walker	[1] [2] [4] [8] [12] [19]