Automatically adapting programs for mixed-precision floating-point computation

MO Lam, JK Hollingsworth, BR de Supinski… - Proceedings of the 27th …, 2013 - dl.acm.org
… Third, we show how our analysis can inform floating-point transformations for runtime
speedup. Since most aspects of identifying mixed precision code regions amount to a single-node …

Rigorous floating-point mixed-precision tuning

WF Chiang, M Baranowski, I Briggs, A Solovyev… - ACM SIGPLAN …, 2017 - dl.acm.org
precision analysis (albeit all-quad or all-double), we find it interesting to report what our
mixed-precision … operations toward double-precision, away from quad-precision. This evaluation …

Sound mixed-precision optimization with rewriting

E Darulova, E Horn, S Sharma - 2018 ACM/IEEE 9th …, 2018 - ieeexplore.ieee.org
… We intentionally choose this setup to benchmark the mixedprecision assignments produced
by Daisy and FPTuner and not compiler optimization effects, which are out of scope of this …

Tool integration for source-level mixed precision

MO Lam, T Vanderbruggen, H Menon… - 2019 IEEE/ACM 3rd …, 2019 - ieeexplore.ieee.org
… integrated tool chain, to automatically identify mixed-precisiontools: 1) CRAFT, a testing-based
search tool, 2) TypeForge, a compilerbased static analysis and code transformation tool, …

HPC-MixPBench: An HPC benchmark suite for mixed-precision analysis

K Parasyris, I Laguna, H Menon… - 2020 IEEE …, 2020 - ieeexplore.ieee.org
… Our evaluation revealed several insights about the mixedprecision … of tools and techniques
for mixedprecision analysis, our work validated the need for creating viable mixed-precision

Accelerating scientific computations with mixed precision algorithms

M Baboulin, A Buttari, J Dongarra, J Kurzak… - Computer Physics …, 2009 - Elsevier
… Later on, we will use the right preconditioning for mixed precision … derive mixed precision
version of variety of algorithms for solving general linear systems of equations. Mixed precision

Enabling mixed-precision with the help of tools: A Nekbone case study

Y Chen, PO Castro, P Bientinesi… - arXiv preprint arXiv …, 2024 - arxiv.org
… arithmetic tools that can be used for floating-point precision reduction. – With this in mind,
we analyze Nekbone with the Verificarlo tool and identify potentials for precision cropping. …

Mixed Precision in Heterogeneous Parallel Computing Platforms via Delayed Code Analysis

D Cattaneo, A Maggioli, G Magnani, L Denisov… - … on Embedded Computer …, 2023 - Springer
… by mixed precision. We propose an extension to the taffo precision tuning toolset that enables
Mixed Precision … on GPGPUs, leveraging static analysis and providing seamless interface …

Investigating mixed-precision for AGATA pulse-shape analysis

R Molina, V Lafage, D Chamont… - EPJ Web of …, 2024 - epj-conferences.org
… Following on from this work, it would appear necessary to implement our mixedprecision
solution on hardware really supporting half-precision, and check the expected performance …

Everything you Need to Know About Reduced Mixed Precision Computation in Numerical Programs

DB Khalifa, M Martel - 2023 - hal.science
… , but this tool uses MPFR [26] and source code modification to simulate non-standard
precision. In summary, all the search-based approaches used for identifying valid mixedprecision