| 2014 | ICFP | Native offload of Haskell repa programs to integrated GPUs. | Hai Liu, Laurence E. Day, Neal Glew, Todd A. Anderson, Rajkishore Barik |
| 2013 | HASKELL | The Intel labs Haskell research compiler. | Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson |
| 2013 | ICFP | A multivalued language with a dependent type system. | Neal Glew, Tim Sweeney, Leaf Petersen |
| 2013 | ICFP | Automatic SIMD vectorization for Haskell. | Leaf Petersen, Dominic A. Orchard, Neal Glew |
| 2012 | CC | GC-Safe Interprocedural Unboxing. | Leaf Petersen, Neal Glew |
| 2006 | POPL | A verifiable SSA program representation for aggressive compiler optimization. | Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
| 2005 | LICS | Certifying Compilation for a Language with Stack Allocation. | Limin Jia, Frances Spalding, David Walker, Neal Glew |
| 2005 | SAS | Type-Safe Optimisation of Plugin Architectures. | Neal Glew, Jens Palsberg, Christian Grothoff |
| 2002 | ECOOP | Type-Safe Method Inlining. | Neal Glew, Jens Palsberg |
| 2002 | ESOP | A Theory of Second-Order Trees. | Neal Glew |
| 2002 | WWW | Certified email with a light on-line trusted third party: design and implementation. | Martn Abadi, Neal Glew |
| 2000 | OOPSLA | An efficient class and object encoding. | Neal Glew |
| 1999 | ICFP | Type Dispatch for Named Hierarchical Types. | Neal Glew |
| 1999 | POPL | Type-Safe Linking and Modular Assembly Language. | Neal Glew, J. Gregory Morrisett |
| 1998 | POPL | From System F to Typed Assembly Language. | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |