Active Bibliography

8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
154 Dynamic Software Updating – Michael Hicks - 2001
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
83 A Type System for Expressive Security Policies – David Walker - 2000
111 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
40 Safe and flexible dynamic linking of native code – Michael Hicks, Stephanie Weirich, Karl Crary - 2000
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
136 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
59 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
5 A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003
28 Language-Based Security – Dexter Kozen - 1999
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
74 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
Quantified Types in an . . . – Dan Grossman
122 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
3 Typed Intermediate Representations for Compiling Object-Oriented Languages – Joseph C. Vanderwaart - 1999