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
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…
cs.PL2025
Type-Based Approaches to Rounding Error Analysis
Ariel Eileen Kellison
This dissertation explores the design and implementation of programming languages that represent rounding error analysis through typing. In the first part of this dissertation, we…