Active Bibliography

25 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
14 Low-Level Linear Memory Management – Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, Lea Wittie - 2004
6 Linear Logic and Imperative Programming – Limin Jia - 2008
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
15 ILC: A Foundation for Automated Reasoning About Pointer Programs – Limin Jia, David Walker - 2005
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
35 An expressive, scalable type theory for certified code – Karl Crary, Joseph C. Vanderwaart - 2002
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
1 Statically tracking state with typed regions – Stefan Monnier - 2008
Prospectus – Student Nadeem Abdul, Abdul Hamid, Committee Arvind Krishnamurthy, Carsten Schurmann Yale, Peter Lee Cmu
1 Correctness of a garbage collector via local reasoning – Lars Birkedal, Lars Birkedal, John C. Reynolds, John C. Reynolds, John C. Reynolds, Noah Torp-smith, Noah Torp-smith, Noah Torp-smith - 2003
Modular Machine Code Verification – Zhaozhong Ni - 2007
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
Typed Intermediate Languages – Stephen Tse, Stephen Tse
35 Another Type System for in-Place Update – David Aspinall, Martin Hofmann - 2002
18 A step-indexed model of substructural state – Amal Ahmed - 2005
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000