skip to main content
panel

Panel on compiler certification: should we trust our compiler?

Published:02 December 2012Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle Scholar
  2. Leroy, X., CompCert Context and Motivations, http://compcert.inria.fr/motivations.html (retrieved 10-Oct-2012).Google ScholarGoogle Scholar

Index Terms

  1. Panel on compiler certification: should we trust our compiler?

                      Recommendations

                      Comments

                      Login options

                      Check if you have access through your login credentials or your institution to get full access on this article.

                      Sign in

                      Full Access

                      • Article Metrics

                        • Downloads (Last 12 months)4
                        • Downloads (Last 6 weeks)0

                        Other Metrics

                      PDF Format

                      View or Download as a PDF file.

                      PDF

                      eReader

                      View online with eReader.

                      eReader
                      About Cookies On This Site

                      We use cookies to ensure that we give you the best experience on our website.

                      Learn more

                      Got it!