Follow
Neal Glew
Neal Glew
Unknown affiliation
Verified email at glew.org - Homepage
Title
Cited by
Cited by
Year
From System F to typed assembly language
G Morrisett, D Walker, K Crary, N Glew
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999
11771999
TALx86: A realistic typed assembly language
K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ...
1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
3181999
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
International Workshop on Types in Compilation, 28-52, 1998
1721998
Certified email with a light on-line trusted third party: Design and implementation
M Abadi, N Glew
Proceedings of the 11th international conference on World Wide Web, 387-395, 2002
1592002
Type-safe linking and modular assembly language
N Glew, G Morrisett
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1061999
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
Journal of Functional Programming 12 (1), 43-88, 2002
1052002
The Open Runtime Platform: a flexible high‐performance managed runtime environment
M Cierniak, M Eng, N Glew, B Lewis, J Stichnoth
Concurrency and Computation: Practice and Experience 17 (5‐6), 617-637, 2005
792005
Type dispatch for named hierarchical types
N Glew
ACM SIGPLAN Notices 34 (9), 172-182, 1999
591999
An efficient class and object encoding
N Glew
ACM SIGPLAN Notices 35 (10), 311-324, 2000
352000
A verifiable SSA program representation for aggressive compiler optimization
VS Menon, N Glew, BR Murphy, A McCreight, T Shpeisman, ...
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
322006
Automatic SIMD vectorization for Haskell
L Petersen, D Orchard, N Glew
ACM SIGPLAN Notices 48 (9), 25-36, 2013
192013
The Intel labs Haskell research compiler
H Liu, N Glew, L Petersen, TA Anderson
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, 105-116, 2013
192013
Object closure conversion
N Glew
Electronic Notes in Theoretical Computer Science 26, 52-68, 1999
181999
Type-safe method inlining
N Glew, J Palsberg
European Conference on Object-Oriented Programming, 525-544, 2002
142002
Pillar: A parallel implementation language
T Anderson, N Glew, P Guo, BT Lewis, W Liu, Z Liu, L Petersen, ...
International Workshop on Languages and Compilers for Parallel Computing …, 2007
132007
Certifying compilation for a language with stack allocation
L Jia, F Spalding, D Walker, N Glew
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 407-416, 2005
132005
Method Inlining, Dynamic Class Loading, and Type Soundness.
N Glew, J Palsberg
J. Object Technol. 4 (8), 33-53, 2005
132005
Measuring the Haskell gap
L Petersen, TA Anderson, H Liu, N Glew
Proceedings of the 25th symposium on Implementation and Application of …, 2013
122013
{LIL}: An {Architecture-Neutral} Language for {Virtual-Machine} Stubs
N Glew, S Triantafyllis, M Cierniak, M Eng, B Lewis, J Stichnoth
3rd Virtual Machine Research & Technology Symposium (VM 04), 2004
122004
A theory of second-order trees
N Glew
European Symposium on Programming, 147-161, 2002
112002
The system can't perform the operation now. Try again later.
Articles 1–20