Intermediate Representations of Mobile Code (2007)
by
Wolfram Amme
,
Thomas S. Heinze
,
Jeffery Von Ronne
Active Bibliography
| 10 | Certifying Compilation for Standard ML in a Type Analysis Framework – Leaf Eames Petersen, Karl Crary, Peter Lee - 2005 |
| 120 | A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000 |
| 62 | A Dependently Typed Assembly Language – Hongwei Xi, Robert Harper - 2001 |
| Project Description – We Propose To | |
| 2 | A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems – Susmit Sarkar, Robert Harper, Peter Lee - 2009 |
| 44 | 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 |
| 7 | Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008 |
| 40 | A Provably Sound TAL for Back-end Optimization – Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang - 2003 |
| 80 | 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 | |
| 49 | Safety checking of machine code – Zhichen Xu, Barton P. Miller, Thomas Reps - 2000 |
| 26 | Building Certified Libraries for PCC: Dynamic Storage Allocation – Dachuan Yu, Nadeem A. Hamid, Zhong Shao - 2003 |
| 84 | A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002 |
| 1 | An untrusted verifier for typed assembly language – Adam Chlipala, Adam Chlipala - 2004 |
| 13 | Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination – Xinyu Feng, Zhong Shao |
| 4 | A cost-effective foundational certified code system – Susmit Sarkar - 2005 |
| 5 | A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003 |
