Neal Glew's Papers

BibTeX entries

Dissertation

Journal Articles

• Michal Cierniak, Marsha Eng, Neal Glew, Brian Lewis, and James Stichnoth. The Open Runtime Platform: a flexible high-performance managed runtime environment. In Concurrency and Computation: Practice and Experience, Special Issue on Java Grande 2002, in publication.
• Todd Anderson, Marsha Eng, Neal Glew, Brian Lewis, Vijay Menon, and James Stichnoth. Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. In Journal of Object Technology, special issue on .NET Technologies 2004, 3(9), 2004.
• Neal Glew and Jens Palsberg.  Type-safe method inlining.  In Science of Computer Programming, 52(2004):281-306, June 2004.
• Greg Morrisett, Karl Crary, Neal Glew, and David Walker.  Stack-Based Typed Assembly Language.  In Journal of Functional Programming, 12(1):43-88, January 2002.
• Greg Morrisett, David Walker, Karl Crary, and Neal Glew.  From System F to Typed Assembly Language.  In ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.

Conference Papers

• Neal Glew and Jens Palsberg. Method Inlining, Dynamic Class Loading, and Type Soundness. In Formal Techniques for Java-like Programs, Oslo, Norway, June, 2004.
• Todd Anderson, Marsha Eng, Neal Glew, Brian Lewis, Vijay Menon, and James Stichnoth. Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. In .NET Technologies'2004, Plzen, Czech Republic, June 2004.
• Neal Glew, Spyros Triantafyllis, Michal Cierniak, Marsha Eng, Brian Lewis, and James Stichnoth. LIL: An Architecture-Neutral Lanugage for Virtual-Machine Stubs. In 3rd Virtual Machine Research and Technology Symposium, San Jose, CA, USA, May 2004.
• Michal Cierniak, Neal Glew, Spyros Triantafyllis, Marsha Eng, Brian Lewis, and James Stichnoth. Object-Model Independence via Code Implants. In Multiparadigm Programming with Object-Oriented Languages, Anahiem, CA, USA, October 2003.
• Michal Cierniak, Marsha Eng, Neal Glew, Brian Lewis, and James Stichnoth. Resource Use in the Interaction of Managed and Unmanaged Code. In Mobile Object Systems 2003, Resouce-Aware Computing, Darmstadt, Germany, July, 2003.
• Neal Glew and Jens Palsberg. Type-Safe Method Inlining. In The European Conference on Object-Oriented Programming 2002, Malaga, Spain, pages 525-544 of LNCS 2374, Springer, June 2002 (dvi, ps, pdf).
• Martín Abadi, Neal Glew, Bill Horne, and Benny Pinkas. Certified Email with a Light On-line Trusted Third Party: Design and Implementation. In The Eleventh World Wide Web Conference, Honolulu, HI, USA, May 2002 (dvi, pdf).
• Neal Glew. A Theory of Second-Order Trees. In the European Symposium on Programming 2002, Grenoble, France, pages 147-161 of LNCS 2305, Springer, April 2002 (dvi, ps, pdf).
• Neal Glew.  An Efficient Class and Object Encoding.  In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 311-324, Minneapolis, MN, USA, October 2000 (dvi, pdf, ps.gz).
• Neal Glew.  Object Closure Conversion.  In 3rd International Workshop on Higher Order Operational Techniques in Semantics, Paris France, September 1999 (dvi, pdf, ps.gz).
• Neal Glew.  Type Dispatch for Named Hierarchical Types.  In 1999 International Conference on Functional Programming, pages 172-182, Paris France, September 1999 (dvi, pdf, ps.gz).
• Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic.  TALx86: A Realistic Typed Assembly Language.  In ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA, USA, INRIA Research Report 0228, pages 25-25, May 1999 (dvi, pdf, ps.gz).
• Neal Glew and Greg Morrisett.  Type-Safe Linking and Modular Assembly Language.  In 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 250-261, San Antonio, TX, USA, January 1999 (dvi, pdf, ps.gz).
• Greg Morrisett, Karl Crary, Neal Glew, and David Walker.  Stack-Based Typed Assembly Language.  In 2nd International Workshop on Types in Compilation, Kyoto, Japan, March 1998.  Lecture Notes in Computer Science, vol. 1473, pages 28-52.   Springer-Verlag, Berlin Germany (dvi, pdf, ps.gz).
• Greg Morrisett, David Walker, Karl Crary, and Neal Glew.  From System F to Typed Assembly Language.  In 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-97, San Diego, CA, USA, January 1998 (dvi, pdf, ps.gz).