POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

Published in Formal Techniques for Safety-Critical Systems - 7th International Workshop (FTSCS 2019), Shenzhen, China, 2019