FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Programming Languages
2024-03-26 v1 Mathematical Software
Abstract
Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a common occurrence and can propagate through code, leading to flawed results. This paper presents FlowFPX, a toolkit for systematically debugging floating-point exceptions by recording their flow, coalescing exception contexts, and fuzzing in select locations. These tools help scientists discover when exceptions happen and track down their origin, smoothing the way to a reliable codebase.
Cite
@article{arxiv.2403.15632,
title = {FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions},
author = {Taylor Allred and Xinyi Li and Ashton Wiersdorf and Ben Greenman and Ganesh Gopalakrishnan},
journal= {arXiv preprint arXiv:2403.15632},
year = {2024}
}
Comments
Presented at JuliaCon 2023; to appear in JuliaCon proceedings