Active Bibliography

8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
187 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
89 A Type System for Expressive Security Policies – David Walker - 2000
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
41 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
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
Typed Intermediate Languages – Stephen Tse, Stephen Tse
Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
5 A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003
28 Language-Based Security – Dexter Kozen - 1999
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
Quantified Types in an . . . – Dan Grossman
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999