Publications and Talks
Articles published in ACM journals, conferences or workshops are bound
by the ACM copyright notice.
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,
pdf)
-
David Walker, Karl Crary, and Greg Morrisett.
Typed Memory Management
via Static Capabilities. ACM Transactions on Programming Languages
and Systems, 22(4):701-771, July 2000.
(abstract,
pdf)
-
Greg Morrisett, Karl Crary, Neal Glew, and David Walker.
Stack-based
Typed Assembly Language. To appear in the Journal on Functional Programming.
(abstract, postscript)
Conference and Workshop Papers
-
David Walker and Kevin Watkins.
On Linear Types and Regions.
In ACM SIGPLAN International Conference on Functional Programming,
September 2001.
(abstract,
ps)
-
A previous version of this work appeared in the
Workshop on Semantics,
Program Analysis and Computing Environments for Memory Management.
London, UK, January 2001.
(abstract,
postscript)
-
David Walker.
Mechanical Reasoning About Low-level Programs
Unpublished notes from lectures given in John Reynolds
course on reasoning about low-level programs.
March 2001.
(ps)
-
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.
European
Symposium on Programming. Published in Lecture Notes in Computer
Science, Gert Smolka, editor,volume 1782, 366-381, 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,
pdf)
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)
-
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)
-
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)
-
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)
Thesis
-
David Patrick Walker.
Typed Memory Management. Cornell University.
January, 2001.
(abstract,
postscript)
Slides from Selected Talks
-
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)
Technical Reports
-
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)
-
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)
-
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)