Icing: supporting fast-math style optimizations in a verified compiler
Paper in proceeding, 2019
Optimization
Floating-point arithmetic
Compiler verification
Author
Heiko Becker
Max Planck Society
Eva Darulova
Max Planck Society
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Zachary Tatlock
University of Washington
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11562 LNCS 155-173978-303025542-8 (ISBN)
New York, USA,
Subject Categories
Language Technology (Computational Linguistics)
Embedded Systems
Computer Science
DOI
10.1007/978-3-030-25543-5_10