Welcome (Recording)
Session 1
Correctly rounded functions: from pen-and-paper to formal proof
Wonyeol Lee (POSTECH) & Paul Zimmermann (INRIA Nancy)
SELTZO: Geometric Analysis of Floating-Point Arithmetic
David K. Zhang, Cerebras Systems
Golden models for numerical datapath
Artem Yadrov, University of Utah
Odd but Error-Free FastTwoSum
Sehyeok Park, Rutgers University
Break
Session 2
IEEE P3109 Update
Andrew Fitzgibbon, Graphcore
Pretraining Large Language Models with NVFP4
Paul Gibbons, NVIDIA
Direction-Preserving Number Representations
Bardia Zadeh, Imperial College London
Range Analysis of Neural Surfaces
Nick Sharp, NVIDIA
Break
Session 3
Grading the BLAS
Jim Demmel, UC Berkeley
High Accuracy with Low Precision
Erin Carson, Charles University
Adjoints for Roundoff Sensitivity Analysis
David Bindel, Cornell
Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation
William S. Moses, UIUC
Conclusion (Recording)
The event is free and open to all. For more information, please see the FPTalks community and check out past recordings from:
The FPTalks Workshop Series is supported in part by the National Science Foundation Division of Computer and Network Systems under awards CNS-2346394 and CNS-2346395.