We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Numerical Analysis

Title: A Probabilistic Approach to Floating-Point Arithmetic

Abstract: Finite-precision floating point arithmetic unavoidably introduces rounding errors which are traditionally bounded using a worst-case analysis. However, worst-case analysis might be overly conservative because worst-case errors can be extremely rare events in practice. Here we develop a probabilistic model of rounding errors with which it becomes possible to estimate the likelihood that the rounding error of an algorithm lies within a given interval. Given an input distribution, we show how to compute the distribution of rounding errors. We do this exactly for low precision arithmetic, for high precision arithmetic we derive a simple approximation. The model is then entirely compositional: given a numerical program written in a simple imperative programming language we can recursively compute the distribution of rounding errors at each step of the computation and propagate it through each program instruction. This is done by applying a formalism originally developed by Kozen to formalize the semantics of probabilistic programs. We then discuss an implementation of the model and use it to perform probabilistic range analyses on some benchmarks.
Comments: 9 pages, 6 figures
Subjects: Numerical Analysis (math.NA); Programming Languages (cs.PL)
Cite as: arXiv:1912.00867 [math.NA]
  (or arXiv:1912.00867v2 [math.NA] for this version)

Submission history

From: Fredrik Dahlqvist [view email]
[v1] Mon, 2 Dec 2019 15:32:57 GMT (350kb,D)
[v2] Tue, 10 Dec 2019 10:09:17 GMT (350kb,D)

Link back to: arXiv, form interface, contact.