References & Citations
Computer Science > Programming Languages
Title: FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
(Submitted on 22 Mar 2024)
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.
Submission history
From: Ashton Wiersdorf [view email][v1] Fri, 22 Mar 2024 22:02:36 GMT (7647kb,D)
Link back to: arXiv, form interface, contact.