Certifying, Optimizing Compilation (Abstract)
Abstract elided by the publisher.
Related papers
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Inferable object-oriented typed assembly language PLDI 2010
- The Design and Implementation of a Certifying Compiler PLDI 1998
- Certified and efficient instruction scheduling: application to interlocked VLIW processors OOPSLA 2020
- A certifying compiler for Java PLDI 2000
- CompCertO: compiling certified open C components PLDI 2021
- Certified self-modifying code PLDI 2007
- Sequential reasoning for optimizing compilers under weak memory concurrency PLDI 2022