Symbolic crosschecking of floating-point and SIMD code
EuroSys, pp. 315-328, 2011.
symbolic reasoningsse implementationintel streaming simd extensionbounded equivalencefloating-point operationMore(11+)
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic execution tool that supports symbolic reasoning on the equivalence between floating-point values. The key insight behind our approach is that floatingpoint values...More
Full Text (Upload PDF)
PPT (Upload PPT)