The Open Verifier framework for foundational verifiers (2005)

by Bor-yuh Evan , Chang Adam Chlipala , George C. Necula , Robert R. Schneck
Venue:In Proc. of the 2nd Workshop on Types in Language Design and Implementation
Citations:28 - 7 self

Active Bibliography

7 Extensible Untrusted Code Verification – Robert Richard Schneck, Robert Richard Schneck - 2004
Group in Logic and the Methodology of Science – Bor-yuh Evan Chang, George C. Necula, Robert R. Schneck
5 Type-based verification of assembly language for compiler debugging – Bor-yuh Evan, Chang Adam Chlipala, George C. Necula, Robert R. Schneck - 2005
1 An untrusted verifier for typed assembly language – Adam Chlipala, Adam Chlipala - 2004
3 Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code – Dinghao Wu - 2005
40 A Provably Sound TAL for Back-end Optimization – Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang - 2003
Modular Machine Code Verification – Zhaozhong Ni - 2007
7 Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008
14 Construction of a Semantic Model for a Typed Assembly Language – Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu - 2004
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
22 Interfacing hoare logic and type systems for foundational proof-carrying code – Nadeem Abdul Hamid, Zhong Shao - 2004
2 Inferable Object-Oriented Typed Assembly Language – Ross Tate, Juan Chen, Chris Hawblitzel
An Indexed Model of Impredicative Polymorphism and Mutable References – Amal Ahmed Andrew, Roberto Virga - 2003
2 A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code – Amy P. Felty - 2005
17 An Indexed Model of Impredicative Polymorphism and Mutable References – Amal Ahmed , Andrew W. Appel, Roberto Virga - 2003
23 An Open Framework for Foundational Proof-Carrying Code – Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo - 2007
5 A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003
4 A cost-effective foundational certified code system – Susmit Sarkar - 2005
17 A framework for certified program analysis and its applications to mobile-code safety – Bor-yuh Evan Chang, Adam Chlipala, George C. Necula - 2006