CompCertELF: verified separate compilation of C programs into ELF object files | 0 | 0.34 | 2020 |
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data | 0 | 0.34 | 2019 |
Compiling Sandboxes - Formally Verified Software Fault Isolation. | 1 | 0.35 | 2019 |
Compiling Sandboxes: Formally Verified Software Fault Isolation. | 0 | 0.34 | 2019 |
An abstract stack based approach to verified compositional compilation to machine code. | 0 | 0.34 | 2019 |
<Emphasis Type="SmallCaps">CompCertS</Emphasis>: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics | 2 | 0.37 | 2017 |
A Precise and Abstract Memory Model for C Using Symbolic Values. | 7 | 0.54 | 2014 |