Search the dblp DataBase

Publications of Author

1. Neal Glew, Jens Palsberg
   Type-Safe Method Inlining. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2002, pp:525-544 [Conf]
   
2. Neal Glew
   A Theory of Second-Order Trees. [Citation Graph (0, 0)][DBLP]
   ESOP, 2002, pp:147-161 [Conf]
   
3. Neal Glew
   Type Dispatch for Named Hierarchical Types. [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:172-182 [Conf]
   
4. Neal Glew, Spyridon Triantafyllis, Michal Cierniak, Marsha Eng, Brian T. Lewis, James M. Stichnoth
   LIL: An Architecture-Neutral Language for Virtual-Machine Stubs. [Citation Graph (0, 0)][DBLP]
   Virtual Machine Research and Technology Symposium, 2004, pp:111-125 [Conf]
   
5. Limin Jia, Frances Spalding, David Walker, Neal Glew
   Certifying Compilation for a Language with Stack Allocation. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:407-416 [Conf]
   
6. Neal Glew
   An efficient class and object encoding. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2000, pp:311-324 [Conf]
   
7. Neal Glew, J. Gregory Morrisett
   Type-Safe Linking and Modular Assembly Language. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:250-261 [Conf]
   
8. Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen
   A verifiable SSA program representation for aggressive compiler optimization. [Citation Graph (0, 0)][DBLP]
   POPL, 2006, pp:397-408 [Conf]
   
9. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
   From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
   POPL, 1998, pp:85-97 [Conf]
   
10. Neal Glew, Jens Palsberg, Christian Grothoff
    Type-Safe Optimisation of Plugin Architectures. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:135-154 [Conf]
    
11. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:28-52 [Conf]
    
12. Martín Abadi, Neal Glew
    Certified email with a light on-line trusted third party: design and implementation. [Citation Graph (0, 0)][DBLP]
    WWW, 2002, pp:387-395 [Conf]
    
13. Michal Cierniak, Marsha Eng, Neal Glew, Brian T. Lewis, James M. Stichnoth
    The Open Runtime Platform: a flexible high-performance managed runtime environment. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2005, v:17, n:5-6, pp:617-637 [Journal]
    
14. Neal Glew
    Object Closure Conversion. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:26, n:, pp:- [Journal]
    
15. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:1, pp:3-88 [Journal]
    
16. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:957-959 [Journal]
    
17. Todd Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth
    Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:9, pp:53-70 [Journal]
    
18. Neal Glew, Jens Palsberg
    Method Inlining, Dynamic Class Loading, and Type Soundness. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:33-53 [Journal]
    
19. Neal Glew, Jens Palsberg
    Type-safe method inlining. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:281-306 [Journal]
    
20. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
    From system F to typed assembly language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal]
    
21. 
    Pillar: A Parallel Implementation Language. [Citation Graph (, )][DBLP]