Verified Compilation and Optimization of Floating-Point Programs in CakeML
Paper in proceeding, 2022
compiler optimization
compiler verification
floating-point arithmetic
Author
Heiko Becker
Max Planck Society
Robert Rabe
Technical University of Munich
Eva Darulova
Uppsala University
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Zachary Tatlock
University of Washington
R. Kumar
DeepMind
Yong Kiam Tan
Carnegie Mellon University (CMU)
Anthony C. J. Fox
ARM Limited
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 222 19783959772259 (ISBN)
Berlin, Germany,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.4230/LIPIcs.ECOOP.2022.1