Symbolic crosschecking of floating-point and SIMD code

EuroSys, pp. 315-328, 2011.

Cited by: 73|Bibtex|Views8|Links
EI
Keywords:
symbolic reasoningsse implementationintel streaming simd extensionbounded equivalencefloating-point operationMore(11+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments