Abstract
Whether programming in a high-level modeling language providing automatic code generation, in a formally-verifiable language, in a language with advanced static analysis tools, or directly in a normal third-generation programming language, we ultimately depend on a compiler to generate the actual machine code that is executed by the target machine. This panel will discuss the issue of how we build trust in our compilers, using a commercial test suite, a standardized test suite, or a formal verification process.
- Jones, D., C compiler validation is 21 today!, Shape of Code blog, 1-Sep-2001, http://shape-of-code.coding-guidelines.com/tag/validation-suite/ (retrieved 10-Oct-2012).Google Scholar
- Leroy, X., CompCert Context and Motivations, http://compcert.inria.fr/motivations.html (retrieved 10-Oct-2012).Google Scholar
Index Terms
Panel on compiler certification: should we trust our compiler?
Recommendations
Panel on compiler certification: should we trust our compiler?
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technologyWhether programming in a high-level modeling language providing automatic code generation, in a formally-verifiable language, in a language with advanced static analysis tools, or directly in a normal third-generation programming language, we ultimately ...
Lightweight verification of separate compilation
POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesMajor compiler verification efforts, such as the CompCert project, have traditionally simplified the verification problem by restricting attention to the correctness of whole-program compilation, leaving open the question of how to verify the ...
Lightweight verification of separate compilation
POPL '16Major compiler verification efforts, such as the CompCert project, have traditionally simplified the verification problem by restricting attention to the correctness of whole-program compilation, leaving open the question of how to verify the ...







Comments