Intermediate Representations of Mobile Code (2007)

by Wolfram Amme , Thomas S. Heinze , Jeffery Von Ronne

Active Bibliography

Typed Intermediate Languages – Stephen Tse, Stephen Tse
10 Certifying Compilation for Standard ML in a Type Analysis Framework – Leaf Eames Petersen, Karl Crary, Peter Lee - 2005
7 Extensible Untrusted Code Verification – Robert Richard Schneck, Robert Richard Schneck - 2004
68 A Dependently Typed Assembly Language – Hongwei Xi, Robert Harper - 2001
129 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
Project Description – We Propose To
3 A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems – Susmit Sarkar, Robert Harper, Peter Lee - 2009
Recommended for Acceptance – Foundational Proof-carrying Code, Gang Tan
Dependent Types for Assembly Code Safety – Matthew Thomas Harren, Matthew Thomas Harren, Matthew Thomas Harren, Matthew Thomas Harren
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
2 A Portable Virtual Machine Target for Proof-Carrying Code – Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig, Ning Wang - 2003
40 A Provably Sound TAL for Back-end Optimization – Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang - 2003
7 Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
54 Safety checking of machine code – Zhichen Xu, Barton P. Miller, Thomas Reps - 2000
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
32 Building Certified Libraries for PCC: Dynamic Storage Allocation – Dachuan Yu, Nadeem A. Hamid, Zhong Shao - 2003