Publications and Talks

Journal Articles

• Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
  (abstract, postscript, dvi)

• David Walker, Karl Crary, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities. To appear in ACM Transactions on Programming Languages and Systems.

• Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-based Typed Assembly Language. Submitted for publication.

Conference Papers

• David Walker and Greg Morrisett. Alias Types for Recursive Data Structures. Workshop on Types in Compilation. Montreal, Canada, September 2000.
  (abstract, postscript)
• Frederick Smith, David Walker, and Greg Morrisett. Alias Types. To appear in the European Symposium on Programming, Berlin, Germany, March 2000.
  (abstract, postscript)
• David Walker. A Type System for Expressive Security Policies. Twenty-Seventh ACM SIGPLAN Symposium on Principles of Programming Languages . pages 254-267, Boston, January 2000.
  (abstract, postscript)
  A previous version of this paper appeared in the FLOC '99 Workshop on Run-time Result Verification. Trento, Italy, July 1999.
  (abstract, postscript)
• Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, Dave Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. In the ACM SIGPLAN Workshop on Compiler Support for System Software. pages 25-35, Atlanta, May 1999.
  (abstract, postscript, dvi)
• Karl Crary, David Walker, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities. Twenty-Sixth ACM SIGPLAN Symposium on Principles of Programming Languages. pages 262-275, San Antonio, January 1999.
  (abstract, postscript, dvi)
• Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language. 1998 Workshop on Types in Compilation (TIC '98). Kyoto, Japan. Published in Xavier Leroy and Atsushi Ohori, editors, Lecture Notes in Computer Science, volume 1473, pages 28-52. Springer, 1998.
  (abstract, postscript, dvi)
  
• Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. Twenty-Fifth ACM SIGPLAN Symposium on Principles of Programming Languages. pages 85-97, San Diego, January 1998.
  (abstract, postscript, dvi)

• Alias Types. Invited talk, Carnegie Mellon Computer Science Department POP Seminar, Pittsburgh, April 25, 2000. (slides)
• Secure Certifying Compilation. Invited talk, IBM T. J. Watson, New York, April 12, 2000. (slides)
• A Type System for Expressive Security Policies. PoPL '00, Boston, January 20, 2000. (slides)
• Typed Memory Management in a Calculus of Capabilities. PoPL '99, San Antonio, January 21, 1999. (slides)
• Stack-based Typed Assembly Language. TIC '98, Kyoto, March 26, 1998. (slides)

• David Walker and Greg Morrisett. Alias Types for Recursive Data Structures (Extended Version). Technical Report TR2000-1787, Cornell University, March 2000.
  (abstract, postscript)
• David Walker, Karl Crary, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities. Technical Report TR2000-1780, Cornell University, February 2000.
  (abstract, postscript, dvi)
• Frederick Smith, David Walker, and Greg Morrisett. Alias Types. Technical Report TR99-1773, Cornell University, October 1999.
  (abstract, postscript)
• David Walker. A Type System for Expressive Security Policies. (Extended version) Technical Report TR99-1740, Cornell University, April 1999.
  (abstract, postscript)
• Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language. (Extended version) Technical Report CMU-CS-98-178, Carnegie-Mellon University, December 1998.
  (abstract, postscript, dvi)
• Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language (Extended version). Technical Report TR97-1651, Cornell University, November 1997.
  (abstract, postscript, dvi)