Rigorous floating-point mixed-precision tuning

DOI10.1145/3009837.3009846zbMath1380.68116OpenAlexW2566629575MaRDI QIDQ5370868

Ganesh Gopalakrishnan, Ian Briggs, Wei-Fan Chiang, Alexey Solovyev, Mark Baranowski, Zvonimir Rakamarić

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009846

zbMATH Keywords

floating-point arithmeticprogram optimizationenergy-efficient computingprecision allocationrigorous compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Rigorous roundoff error analysis of probabilistic floating-point computations ⋮ Fast and efficient bit-level precision tuning ⋮ A two-phase approach for conditional floating-point verification ⋮ Combining tools for optimization and analysis of floating-point computations ⋮ A Framework for Error-Bounded Approximate Computing, with an Application to Dot Products

Uses Software

• Coq
• Gurobi
• gaol
• HOL Light
• dReal
• FPTuner
• lquadmath

This page was built for publication: Rigorous floating-point mixed-precision tuning