Computer-aided floating point error analysis and debug
Speaker(s) : Nikita Astafiev (Intel)
In this talk we will show our achievements in automation of finding the weak spots within the user application and tracing the data propagation from weak spot and into the final results while watching for the error accumulation down the path. We rely on binary translation and follow user computations with higher precision shadow registers stack and memory.
Nikita Astafiev is a senior software engineer at Intel Corporation, Numerics team. He worked on highly optimized math functions for Intel software products since 2003. He received a MS degree in Mathematics from Moscow State University. Interested in automated floating-point error analysis and low-level optimizations.
marc (at) nullmezzarobba.net