( en | de | ru )

 

Disambiguation of "Glew, Neal"

Author of the publication

copydeleteadd this publication to your clipboard
A verifiable SSA program representation for aggressive compiler optimization.

, , , , , , and . POPL, page 397-408. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eleanor Neal

Charlotte-Margarethe Neale

Andrew Vincent Nealen

Adam Neale

Elisabeth Neale

 

Other publications of authors with the same name

A Theory of Second-Order Trees.. ESOP, volume 2305 of Lecture Notes in Computer Science, page 147-161. Springer, (2002)Automatic SIMD vectorization for Haskell., , and . ICFP, page 25-36. ACM, (2013)The Intel labs Haskell research compiler., , , and . Haskell, page 105-116. ACM, (2013)Type-Safe Optimisation of Plugin Architectures., , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 135-154. Springer, (2005)Stack-based typed assembly language., , , and . J. Funct. Program., 12 (1): 3-88 (2002)Certifying Compilation for a Language with Stack Allocation., , , and . LICS, page 407-416. IEEE Computer Society, (2005)From System F to Typed Assembly Language, , , and . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)Formalisation of the lambda aleph Runtime., , and . CoRR, (2013)Certified email with a light on-line trusted third party: design and implementation., and . WWW, page 387-395. ACM, (2002)Method Inlining, Dynamic Class Loading, and Type Soundness., and . J. Object Technol., 4 (8): 33-53 (2005)