The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Neal Glew: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.089secs, Finished in 0.090secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002