Type Dispatch for Named Hierarchical Types. - Neal Glew (ICFP, 1999)

Type-Safe Linking and Modular Assembly Language. - Neal Glew; J. Gregory Morrisett (POPL, 1999)

Object Closure Conversion. - Neal Glew (HOOTS, 1999)

From system F to typed assembly language. - J. Gregory Morrisett; David Walker 001; Karl Crary; Neal Glew (ACM Trans. Program. Lang. Syst., 1999)

Low-Level Type Systems for Modularity and Object-Oriented Constructs. - Arthur Neal Glew (1999)

An efficient class and object encoding. - Neal Glew (OOPSLA, 2000)

A Theory of Second-Order Trees. - Neal Glew (ESOP, 2002)

Certified email with a light on-line trusted third party: design and implementation. - Martín Abadi; Neal Glew (WWW, 2002)

Stack-based typed assembly language. - J. Gregory Morrisett; Karl Crary; Neal Glew; David Walker 001 (J. Funct. Program., 2003)

LIL: An Architecture-Neutral Language for Virtual-Machine Stubs. - Neal Glew; Spyridon Triantafyllis; Michal Cierniak; Marsha Eng; Brian T. Lewis; James M. Stichnoth (Virtual Machine Research and Technology Symposium, 2004)

Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. - Todd A. Anderson 001; Marsha Eng; Neal Glew; Brian T. Lewis; Vijay Menon 002; James M. Stichnoth (J. Object Technol., 2004)

Type-safe method inlining. - Neal Glew; Jens Palsberg (Sci. Comput. Program., 2004)

Certifying Compilation for a Language with Stack Allocation. - Limin Jia 001; Frances Spalding; David Walker 001; Neal Glew (LICS, 2005)

Type-Safe Optimisation of Plugin Architectures. - Neal Glew; Jens Palsberg; Christian Grothoff (SAS, 2005)

The Open Runtime Platform: a flexible high-performance managed runtime environment. - Michal Cierniak; Marsha Eng; Neal Glew; Brian T. Lewis; James M. Stichnoth (Concurr. Pract. Exp., 2005)

Method Inlining, Dynamic Class Loading, and Type Soundness. - Neal Glew; Jens Palsberg (J. Object Technol., 2005)

A verifiable SSA program representation for aggressive compiler optimization. - Vijay Menon 002; Neal Glew; Brian R. Murphy; Andrew McCreight; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai; Leaf Petersen (POPL, 2006)

Pillar: A Parallel Implementation Language. - Todd A. Anderson 001; Neal Glew; Peng Guo; Brian T. Lewis; Wei Liu; Zhanglin Liu; Leaf Petersen; Mohan Rajagopalan; James M. Stichnoth; Gansha Wu; Dan Zhang (LCPC, 2007)

Subtyping for F-Bounded Quantifiers and Equirecursive Types. - Neal Glew (Logic and Program Semantics, 2012)

GC-Safe Interprocedural Unboxing. - Leaf Petersen; Neal Glew (CC, 2012)

Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version) - Neal Glew (CoRR, 2012)

Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version) - Neal Glew; Leaf Petersen (CoRR, 2012)

The Intel labs Haskell research compiler. - Hai Liu 012; Neal Glew; Leaf Petersen; Todd A. Anderson 001 (Haskell, 2013)

A multivalued language with a dependent type system. - Neal Glew; Tim Sweeney; Leaf Petersen (DTP@ICFP, 2013)

Automatic SIMD vectorization for Haskell. - Leaf Petersen; Dominic A. Orchard; Neal Glew (ICFP, 2013)

Measuring the Haskell Gap. - Leaf Petersen; Todd A. Anderson 001; Hai Liu 012; Neal Glew (IFL, 2013)

Formalisation of the lambda aleph Runtime. - Neal Glew; Tim Sweeney; Leaf Petersen (CoRR, 2013)

Native offload of Haskell repa programs to integrated GPUs. - Hai Liu 012; Laurence E. Day; Neal Glew; Todd A. Anderson 001; Rajkishore Barik (FHPC@ICFP, 2014)