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

von Ben Khalifa, Dorra
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Fast and Efficient Bit-Level Precision Tuning

von Adje, Assale
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)