3 papers
cs.PL2025
Bean: A Language for Backward Error Analysis
Ariel E. Kellison, Laura Zielinski, David Bindel +1
Backward error analysis offers a method for assessing the quality of numerical programs in the presence of floating-point rounding errors. However, techniques from the numerical an…
cs.PL2025
A Hoare Logic for Symmetry Properties
Vaibhav Mehta, Justin Hsu
Many natural program correctness properties can be stated in terms of symmetries, but existing formal methods have little support for reasoning about such properties. We consider h…
cs.PL2025
Numerical Fuzz: A Type System for Rounding Error Analysis
Ariel E. Kellison, Justin Hsu
Algorithms operating on real numbers are implemented as floating-point computations in practice, but floating-point operations introduce roundoff errors that can degrade the accura…