4 citations · 6 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…
cs.PL2025★ 2 cited
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…