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.
Neal Glew
2010 – today
- 2012
[c15]Neal Glew: Subtyping for F-Bounded Quantifiers and Equirecursive Types. Logic and Program Semantics 2012: 66-82- [c14]
- [i2]Neal Glew: Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version). CoRR abs/1202.2486 (2012)
- [i1]Neal Glew, Leaf Petersen: Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version). CoRR abs/1203.1986 (2012)
2000 – 2009
- 2007
- [c13]Todd A. Anderson, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang: Pillar: A Parallel Implementation Language. LCPC 2007: 141-155
- [e1]Neal Glew, Guy E. Blelloch (Eds.): Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007. ACM 2007, ISBN 978-1-59593-690-5
- 2006
- [c12]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
- [j8]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)
- [j7]Neal Glew, Jens Palsberg: Method Inlining, Dynamic Class Loading, and Type Soundness. Journal of Object Technology 4(8): 33-53 (2005)
- [c11]Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416
- [c10]Neal Glew, Jens Palsberg, Christian Grothoff: Type-Safe Optimisation of Plugin Architectures. SAS 2005: 135-154
- 2004
- [j6]Todd A. 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)
- [j5]
- [c9]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
- 2003
- [j4]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
- 2002
- [j3]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
- [c8]
- [c7]
- [c6]Martín Abadi, Neal Glew: Certified email with a light on-line trusted third party: design and implementation. WWW 2002: 387-395
- 2000
- [c5]
1990 – 1999
- 1999
- [j2]
- [j1]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)
- [c4]
- [c3]Neal Glew, J. Gregory Morrisett: Type-Safe Linking and Modular Assembly Language. POPL 1999: 250-261
- 1998
- [c2]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
- [c1]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:17 CET by the dblp team