April 3rd FPTalks Community Meeting: Artem on Mixed Precision Error Bounds

[Ian Briggs]

Howdy folks!

Next Thursday, April 3rd at 9:00-10:00 AM pacific time, we’ll have the next FPTalks Community Meeting on this Zoom: https://washington.zoom.us/j/92831331326

We’re super excited to welcome Artem Yadrov from the University of Utah to present on Fast Sound Error Bounds for Mixed-Precision Real Evaluation.

I will be discussing evaluating real-valued expressions with high precision, which is crucial in computational fields like mathematics and physics. Traditional methods use uniform precision for all operations, which can be inefficient since most operations don't require high precision. The paper proposes using mixed-precision interval arithmetic, where precision is adapted dynamically. To do this efficiently, the authors introduce a variation of error Taylor series and condition numbers, optimized for interval arithmetic with minimal overhead. Their implementation, Reval, offers a significant speed-up (1.47× on average, up to 4.92× on complex cases) compared to the Sollya tool, mainly by using lower precision for most operations.

As a reminder, if you would like to give a talk or know of someone that would be great for an FPBench Community meeting, please have them fill out the speaker suggestion form!

Looking forward to seeing everyone!

Ian Briggs

FPTalks Discussion: https://fpbench.org/subscribe

Nominate a speaker: https://fpbench.org/nominate

[Ian Briggs]

Howdy folks!

This Thursday, April 3rd at 9:00-10:00 AM pacific time, we’ll have the next FPTalks Community Meeting on this Zoom: https://washington.zoom.us/j/92831331326