4 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem
Ariel Kellison
A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio…