|
16
|
Abstracting Allocation: The New new Thing
– Nick Benton
- 2006
|
|
7
|
Semantic foundations for typed assembly languages
– Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
- 2008
|
|
|
Modular Machine Code Verification
– Zhaozhong Ni
- 2007
|
|
20
|
Biorthogonality, Step-Indexing and Compiler Correctness
– Nick Benton, Chung-Kil Hur
- 2009
|
|
20
|
A typed, compositional logic for a stack-based abstract machine
– Nick Benton
- 2005
|
|
|
High-Assurance Common Language Runtime
– Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
|
25
|
Unifying Type Checking and property checking for low-level code
– Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
- 2009
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
1
|
An untrusted verifier for typed assembly language
– Adam Chlipala, Adam Chlipala
- 2004
|
|
40
|
A Provably Sound TAL for Back-end Optimization
– Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
- 2003
|
|
22
|
The Logical Approach to Stack Typing
– Amal Ahmed, David Walker
- 2003
|
|
2
|
An Open Framework for Certified System Software
– Xinyu Feng
- 2008
|
|
42
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
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
|
|
12
|
Construction of a Semantic Model for a Typed Assembly Language
– Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
- 2004
|
|
16
|
An Open Framework for Foundational Proof-Carrying Code
– Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
- 2007
|
|
|
Interpretational Overhead in system software
– Boris Feigin
- 2011
|
