Active Bibliography

Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
41 Safe and flexible dynamic linking of native code – Michael Hicks, Stephanie Weirich, Karl Crary - 2000
89 A Type System for Expressive Security Policies – David Walker - 2000
40 A Secure PLAN – Michael Hicks, Angelos D. Keromytis - 1999
35 An expressive, scalable type theory for certified code – Karl Crary, Joseph C. Vanderwaart - 2002
6 A Secure PLAN (Extended Version) – Michael Hicks, Angelos D. Keromytis, Jonathan M. Smith - 2002
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
13 The Fox Project: Advanced Language Technology for Extensible Systems – Robert Harper, Peter Lee, Frank Pfenning - 1998
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
35 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
10 Security in Active Networks – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Jonathan M. Smith - 1999
13 The Missing Link -- Dynamic Components for ML – Andreas Rossberg - 2006
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998