Bernhard Schommer

Bernhard Schommer

Research interests

  • Compiler construction
  • Code generation

Selected publications

  • CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB) by D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al., in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
  • Closing the Gap — The Formally Verified Optimizing Compiler CompCert. D. Kästner, X. Leroy, S. Blazy, B. Schommer, M. Schmidt, C. Ferdinand. In Proceedings of the 25th Safety-Critical System Symposium SSS 2017, February 2017, Bristol, UK.
  • CompCert — A Formally Verified Optimizing Compiler (Best Paper Award). X. Leroy, S. Blazy, D. Kästner, B. Schommer, M. Pister, C. Ferdinand. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, January 2016, Toulouse, France.