| 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 | 1176 | 1999 |
| 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 | 321 | 1999 |
| Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker International Workshop on Types in Compilation, 28-52, 1998 | 174 | 1998 |
| 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 | 162 | 2002 |
| Type-safe linking and modular assembly language N Glew, G Morrisett Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 109 | 1999 |
| Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker Journal of Functional Programming 12 (1), 43-88, 2002 | 103 | 2002 |
| 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 | 80 | 2005 |
| Type dispatch for named hierarchical types N Glew ACM SIGPLAN Notices 34 (9), 172-182, 1999 | 59 | 1999 |
| An efficient class and object encoding N Glew ACM SIGPLAN Notices 35 (10), 311-324, 2000 | 35 | 2000 |
| 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 | 32 | 2006 |
| 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 | 20 | 2013 |
| Automatic SIMD vectorization for Haskell L Petersen, D Orchard, N Glew ACM SIGPLAN Notices 48 (9), 25-36, 2013 | 19 | 2013 |
| Object closure conversion N Glew Electronic Notes in Theoretical Computer Science 26, 52-68, 1999 | 18 | 1999 |
| Method Inlining, Dynamic Class Loading, and Type Soundness. N Glew, J Palsberg J. Object Technol. 4 (8), 33-53, 2005 | 14 | 2005 |
| Type-safe method inlining N Glew, J Palsberg European Conference on Object-Oriented Programming, 525-544, 2002 | 14 | 2002 |
| 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 | 13 | 2007 |
| Measuring the Haskell gap L Petersen, TA Anderson, H Liu, N Glew Proceedings of the 25th symposium on Implementation and Application of …, 2013 | 12 | 2013 |
| 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 | 12 | 2005 |
| {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 | 12 | 2004 |
| A theory of second-order trees N Glew European Symposium on Programming, 147-161, 2002 | 11 | 2002 |
