Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Learn about FPRev, a diagnostic tool that reveals floating-point accumulation orders in software and hardware implementations through this 19-minute conference presentation from USENIX ATC '25. Discover how accumulation-based operations like summation and matrix multiplication often have undocumented accumulation orders across different systems, creating challenges for developers seeking consistent computational results. Explore the testing-based methodology that FPRev employs to non-intrusively identify accumulation orders by analyzing outputs from specially designed inputs, enabling developers to create reproducible software and verify implementation equivalence. Examine practical applications of FPRev across popular computational libraries including NumPy and PyTorch on various hardware platforms such as CPUs and GPUs with specialized matrix accelerators like Tensor Cores. Understand the efficiency advantages of FPRev's approach, which demonstrates lower time complexity compared to basic solutions, and learn about its open-source availability for immediate implementation in your own projects.
