Neal Glew

According to our database, Neal Glew authored at least 28 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Native offload of Haskell repa programs to integrated GPUs.

Hai Liu, Laurence E. Day, Neal Glew, Todd A. Anderson, Rajkishore Barik

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Formalisation of the lambda aleph Runtime.

Neal Glew, Tim Sweeney, Leaf Petersen

CoRR, 2013

Measuring the Haskell Gap.

Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Automatic SIMD vectorization for Haskell.

Leaf Petersen, Dominic A. Orchard, Neal Glew

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

A multivalued language with a dependent type system.

Neal Glew, Tim Sweeney, Leaf Petersen

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

The Intel labs Haskell research compiler.

Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)

Neal Glew, Leaf Petersen

CoRR, 2012

Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version)

Neal Glew

CoRR, 2012

GC-Safe Interprocedural Unboxing.

Leaf Petersen, Neal Glew

Proceedings of the Compiler Construction - 21st International Conference, 2012

Subtyping for F-Bounded Quantifiers and Equirecursive Types.

Neal Glew

Proceedings of the Logic and Program Semantics, 2012

2007

Pillar: A Parallel Implementation Language.

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

Proceedings of the Languages and Compilers for Parallel Computing, 2007

2006

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

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Method Inlining, Dynamic Class Loading, and Type Soundness.

Neal Glew, Jens Palsberg

J. Object Technol., 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

Type-Safe Optimisation of Plugin Architectures.

Neal Glew, Jens Palsberg, Christian Grothoff

Proceedings of the Static Analysis, 12th International Symposium, 2005

Certifying Compilation for a Language with Stack Allocation.

Limin Jia, Frances Spalding, David Walker, Neal Glew

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Type-safe method inlining.

Neal Glew, Jens Palsberg

Sci. Comput. Program., 2004

Experience Integrating a New Compiler and a New Garbage Collector Into Rotor.

Todd A. Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth

J. Object Technol., 2004

LIL: An Architecture-Neutral Language for Virtual-Machine Stubs.

Neal Glew, Spyridon Triantafyllis, Michal Cierniak, Marsha Eng, Brian T. Lewis, James M. Stichnoth

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

2002

Stack-based typed assembly language.

J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker

J. Funct. Program., 2002

Certified email with a light on-line trusted third party: design and implementation.

Martín Abadi, Neal Glew

Proceedings of the Eleventh International World Wide Web Conference, 2002

A Theory of Second-Order Trees.

Neal Glew

Proceedings of the Programming Languages and Systems, 2002

2000

An efficient class and object encoding.

Neal Glew

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999

Low-Level Type Systems for Modularity and Object-Oriented Constructs.

Arthur Neal Glew

PhD thesis, 1999

From system F to typed assembly language.

J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew

ACM Trans. Program. Lang. Syst., 1999

Object Closure Conversion.

Neal Glew

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Type-Safe Linking and Modular Assembly Language.

Neal Glew, J. Gregory Morrisett

Proceedings of the POPL '99, 1999

Type Dispatch for Named Hierarchical Types.

Neal Glew

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999