Friday8Nov 2019

MPC Seminar

"A probabilistic approach to floating point arithmetic" with Dr. Fredrik Dahlqvist

Friday, November 8, 2019 3:00 p.m. - 4:00 p.m. PST
2019-11-08 15:00 2019-11-08 16:00 America/Los_Angeles MPC Seminar Go to event listing for more details: https://events.chapman.edu/77275 KC 171 Keck Center 171 Ronald and Sandi Simon Conference Room Dana Dacier dacier@chapman.edu

Free to attend

KC 171

Keck Center 171 Ronald and Sandi Simon Conference Room

Faculty and Students

are invited to attend.

Finite-precision floating point arithmetic 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 quantify the likelihood that the rounding error of an algorithm lies within a given interval.

Given an input distribution, the model requires the distribution of rounding errors. We show how to exactly compute this distribution for low precision arithmetic. For high precision arithmetic we derive a simple but surprisingly useful approximation. The model is then entirely compositional: given a numerical program written in a simple imperative programing language we can recursively compute the distribution of rounding errors at each step and propagate it through each program instruction. This is done by applying a formalism originaly developed by Kozen to understand the semantics of probabilistic programs, for example how probability distributions gets transformed by assignments or "if then else" statements.

Dr. Fredrik Dahlqvist is from University College London, UK

 

You can contact the event organizer, Dana Dacier at dacier@chapman.edu.

Edit contact information

Does something on this page need to be updated?