We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Programming Languages

Title: FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions

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.
Comments: Presented at JuliaCon 2023; to appear in JuliaCon proceedings
Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS)
Cite as: arXiv:2403.15632 [cs.PL]
  (or arXiv:2403.15632v1 [cs.PL] for this version)

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.