FPTalks 2023 was held online on July 6, 2023 on Zoom. Talks were 10 minutes long, followed by audience questions over Slack. Talks were recorded and are available on Youtube.
Welcome (Recording)
Session 1
GPUs Rule Everything Around Me
Edward Yang, Meta AI
Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code
Dolores Miao, University of California, Davis
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
Edward Misback, University of Washington
Smooth: An arbitrary-precision differentiable programming language
Ben Sherman
Break
Session 2
New computations of Poisson polynomials: An application of very high-precision floating-point arithmetic
David H. Bailey, LBNL (retired)
Novel Numerical Hardware Design Methodology: From machine readable specification to optimized RTL
Sam Coward, Intel & Imperial College London
Verifying Programs That Use Trigonometry
Martin Brain, City, University of London
Break
Session 3
Math functions in LLVM libc or yet another correctly rounded libm
Tue Ly, Google
A provably correct floating-point implementation of Well Clear Avionics Concepts
Nikson Bernardes Fernandes Ferreira, University of BrasÃlia
CORE-MATH: progress report
Paul Zimmermann, INRIA, Nancy
Bounds on Non-Linear Errors for Variance Computation with Stochastic Rounding
El-Mehdi El Arar, Université Paris-Saclay
Conclusion (Recording)
For more information, please see the FPBench project and check out past recordings from FPTalks 2022, FPTalks 2021 and FPTalks 2020.
The FPTalks Workshop Series is supported in part by Department of Energy via the DOE X-Stack FP: Comport project.