A Certifying Compiler for Java (2000)

Cached

Download Links

by Christopher Colby , Peter Lee , George C. Necula , Fred Blau , Mark Plesko , Kenneth Cline
Venue:ACM SIGPLAN Notices
Citations:130 - 15 self

Active Bibliography

2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
Project Description – We Propose To
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
28 Language-Based Security – Dexter Kozen - 1999
68 A Dependently Typed Assembly Language – Hongwei Xi, Robert Harper - 2001
Intermediate Representations of Mobile Code – Wolfram Amme, Thomas S. Heinze, Jeffery Von Ronne - 2007
7 Extensible Untrusted Code Verification – Robert Richard Schneck, Robert Richard Schneck - 2004
5 A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
3 A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems – Susmit Sarkar, Robert Harper, Peter Lee - 2009
6 Malicious code detection for open firmware – Frank Adelstein, Matt Stillerman - 2002
Modular Machine Code Verification – Zhaozhong Ni - 2007
Typed Intermediate Languages – Stephen Tse, Stephen Tse
5 Scalable certification of native code: Experience from compiling to TALx86 – Dan Grossman, Greg Morrisett - 2000
1 Towards Compiler-Independent Certifying Compilation – Dan Grossman, Greg Morrisett - 1999
10 Certifying Compilation for Standard ML in a Type Analysis Framework – Leaf Eames Petersen, Karl Crary, Peter Lee - 2005
14 A Proof-Carrying Code Architecture for Java – Christopher Colby, Peter Lee, George C. Necula - 2000
1 An untrusted verifier for typed assembly language – Adam Chlipala, Adam Chlipala - 2004