Search results for "certifying compiler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
2	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
2	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu	Design of a Certifying Compiler Supporting Proof of Program Safety.	TASE	2007	DBLP DOI BibTeX RDF
2	George C. Necula, Peter Lee	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
2	George C. Necula, Peter Lee	The design and implementation of a certifying compiler (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
1	José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003	A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan	A Certifying Compiler for Clike Subset of C Language.	TASE	2010	DBLP DOI BibTeX RDF
1	José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003	A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.	ESORICS	2010	DBLP DOI BibTeX RDF
1	Gilles Barthe, Tamara Rezk, David A. Naumann	Deriving an Information Flow Checker and Certifying Compiler for Java.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
1	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate Translation for Optimizing Compilers.	SAS	2006	DBLP DOI BibTeX RDF
1	Ofer Strichman, Benny Godlin	Regression Verification - A Practical Way to Verify Programs.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska	Automatic Certification of Heap Consumption.	LPAR	2004	DBLP DOI BibTeX RDF
1	David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano	A Program Logic for Resource Verification.	TPHOLs	2004	DBLP DOI BibTeX RDF
1	Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi	Secure Self-certified Code for Java.	FASec	2002	DBLP DOI BibTeX RDF
1	Martin Strecker	Investigating Type-Certifying Compilation with Isabelle.	LPAR	2002	DBLP DOI BibTeX RDF
1	Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline	A certifying compiler for Java.	PLDI	2000	DBLP DOI BibTeX RDF
1	Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi	Secure Self-Certified COTS. (PDF / PS)	WETICE	2000	DBLP DOI BibTeX RDF
1	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
1	David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee	TIL: a type-directed, optimizing compiler for ML (with retrospective)	Best of PLDI	1996	DBLP DOI BibTeX RDF