Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 David Walker's Publications and Talks
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.
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.
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.
A previous version of this work appeared in the
Workshop on Semantics,
Program Analysis and Computing Environments for Memory Management.
London, UK, January 2001.
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.
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.
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.
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.
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.
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.
David Walker and Greg Morrisett.
Alias Types for Recursive Data Structures
(Extended Version). Technical Report TR2000-1787, Cornell University,
March 2000.
David Walker, Karl Crary, and Greg Morrisett.
Typed Memory Management
in a Calculus of Capabilities. Technical Report TR2000-1780, Cornell
University, February 2000.
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.