Build a Learning Habit
Download Class Central's free printable study calendar
Download for Free
Explore a 26-minute conference presentation from POPL 2018 where researchers from Stanford University and Microsoft Research demonstrate a groundbreaking static analysis method for automatically verifying the accuracy of floating-point calculations in math.h implementations. Learn how the team developed an innovative approach that transforms complex verification challenges into mathematical optimization problems solvable through computer algebra systems, successfully proving the correctness of Intel's math library implementations. Discover how this automated verification process eliminates the need for extensive manual verification efforts while confirming the tight error bounds claimed by industry-standard mathematical libraries.
