Neal Glew

32 papers A* 5A 5B 2C 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2014 — conf
Native offload of Haskell repa programs to integrated GPUs.
FHPC@ICFP
Hai Liu, Laurence E. Day, Neal Glew, Todd A. Anderson, Rajkishore Barik
2013 — conf
A multivalued language with a dependent type system.
DTP@ICFP
Neal Glew, Tim Sweeney, Leaf Petersen
2013 A conf
Automatic SIMD vectorization for Haskell.
ICFP
Leaf Petersen, Dominic A. Orchard, Neal Glew
2013 J jnl
Formalisation of the lambda aleph Runtime.
CoRR
Neal Glew, Tim Sweeney, Leaf Petersen
2013 — conf
Measuring the Haskell Gap.
IFL
Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew
2013 C conf
The Intel labs Haskell research compiler.
Haskell
Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson
2012 B conf
GC-Safe Interprocedural Unboxing.
CC
Leaf Petersen, Neal Glew
2012 J jnl
Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version)
CoRR
Neal Glew
2012 — conf
Subtyping for F-Bounded Quantifiers and Equirecursive Types.
Logic and Program Semantics
Neal Glew
2012 J jnl
Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)
CoRR
Neal Glew, Leaf Petersen
2007 — conf
Pillar: A Parallel Implementation Language.
LCPC
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
2007 — ed.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007
DAMP
Neal Glew, Guy E. Blelloch
2006 A* conf
A verifiable SSA program representation for aggressive compiler optimization.
POPL
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen
2005 A* conf
Certifying Compilation for a Language with Stack Allocation.
LICS
Limin Jia, Frances Spalding, David Walker, Neal Glew
2005 J jnl
Method Inlining, Dynamic Class Loading, and Type Soundness.
J. Object Technol.
Neal Glew, Jens Palsberg
2005 J jnl
The Open Runtime Platform: a flexible high-performance managed runtime environment.
Concurr. Pract. Exp.
Michal Cierniak, Marsha Eng, Neal Glew, Brian T. Lewis, James M. Stichnoth
2005 B conf
Type-Safe Optimisation of Plugin Architectures.
SAS
Neal Glew, Jens Palsberg, Christian Grothoff
2004 J jnl
Experience Integrating a New Compiler and a New Garbage Collector Into Rotor.
J. Object Technol.
Todd A. Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth
2004 — conf
LIL: An Architecture-Neutral Language for Virtual-Machine Stubs.
Virtual Machine Research and Technology Symposium
Neal Glew, Spyridon Triantafyllis, Michal Cierniak, Marsha Eng, Brian T. Lewis, James M. Stichnoth
2004 J jnl
Type-safe method inlining.
Sci. Comput. Program.
Neal Glew, Jens Palsberg
2003 J jnl
Stack-based typed assembly language.
J. Funct. Program.
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
2002 A conf
A Theory of Second-Order Trees.
ESOP
Neal Glew
2002 A* conf
Certified email with a light on-line trusted third party: design and implementation.
WWW
Martín Abadi, Neal Glew
2002 J jnl
Stack-based typed assembly language.
J. Funct. Program.
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
2002 A conf
Type-Safe Method Inlining.
ECOOP
Neal Glew, Jens Palsberg
2000 A conf
An efficient class and object encoding.
OOPSLA
Neal Glew
1999 J jnl
From system F to typed assembly language.
ACM Trans. Program. Lang. Syst.
J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
1999 — conf
Object Closure Conversion.
HOOTS
Neal Glew
1999 A conf
Type Dispatch for Named Hierarchical Types.
ICFP
Neal Glew
1999 A* conf
Type-Safe Linking and Modular Assembly Language.
POPL
Neal Glew, J. Gregory Morrisett
1998 A* conf
From System F to Typed Assembly Language.
POPL
J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
1998 — conf
Stack-Based Typed Assembly Language.
Types in Compilation
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker