{"id":"arxiv/2604.06258","url":"https://arxiv.org/abs/2604.06258","tags":["cs.MS","cs.PL","math.NA"],"score":0,"title":"Accurate Residues for Floating-Point Debugging","domain":"cs.MS","source":"arxiv","authors":["Yumeng He","Pavel Panchekha"],"reviews":0,"subject":"cs.MS","summary":"Floating-point arithmetic is error-prone and unintuitive. Floating-point debuggers instrument programs to monitor floating-point arithmetic at run time and flag numerical issues. They estimate residues, i.e., the difference between actual floating-point and ideal real values, for every floating-point value in the program. Prior work explores various approaches for computing these residues accurately and efficiently. Unfortunately, the most efficient methods, based on \"error-free transformations\", have a high rate of false reports, while the most accurate methods, based on high-precision…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-06","reactions":{}}