|
|
High-Assurance Common Language Runtime
– Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
|
|
|
Project Description
– We Propose To
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
|
|
Modular Machine Code Verification
– Zhaozhong Ni
- 2007
|
|
83
|
A Type System for Expressive Security Policies
– David Walker
- 2000
|
|
26
|
Building Certified Libraries for PCC: Dynamic Storage Allocation
– Dachuan Yu, Nadeem A. Hamid, Zhong Shao
- 2003
|
|
5
|
Automated Techniques for Provably Safe Mobile Code
– Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
- 2000
|
|
31
|
An expressive, scalable type theory for certified code
– Karl Crary, Joseph C. Vanderwaart
- 2002
|
|
2
|
A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems
– Susmit Sarkar, Robert Harper, Peter Lee
- 2009
|
|
2
|
An Open Framework for Certified System Software
– Xinyu Feng
- 2008
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
8
|
Certified Run-time Code Generation
– Frederick M. Smith
- 2002
|
|
22
|
Interfacing hoare logic and type systems for foundational proof-carrying code
– Nadeem Abdul Hamid, Zhong Shao
- 2004
|
|
49
|
Typed Memory Management via Static Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
10
|
Certifying Compilation for Standard ML in a Type Analysis Framework
– Leaf Eames Petersen, Karl Crary, Peter Lee
- 2005
|
|
1
|
Intensional analysis of quantified types
– Bratin Saha, Valery Trifonov, Zhong Shao
- 2000
|
|
43
|
Fully Reflexive Intensional Type Analysis
– Valery Trifonov, Bratin Saha, Zhong Shao
- 2000
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
