Efficient Floating-Point Error Detection for Numerical Programs via Error-Free Transformations
This paper presents EFTD, a novel floating-point error detection method using EFT and stochastic progressive random sampling for multi-input programs. Compared to the state-of-the-art FPGen, EFTD detects higher errors on 13 out of 21 programs with an average detection time of 5 minutes, significantly outperforming FPGen's 2-hour average.
Authors
- Jingke Zhang (ORCID: https://orcid.org/0000-0002-7421-3979)
- Wei Yao (ORCID: https://orcid.org/0000-0002-1541-3954)
- Xin Yi (ORCID: https://orcid.org/0000-0003-4511-1495)
Institutions
- National University of Defense Technology (CN)
- Changsha University of Science and Technology (CN)
Publication Details
- Published
- 2024-12-03
- DOI
- https://doi.org/10.1109/apsec65559.2024.00077
- Primary Topic
- Numerical Methods and Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00