Symbolic testing of OpenCL code
Haifa Verification Conference, pp. 203-218, 2011.
symbolic reasoningopencl environmentsymbolic testingopencl compiler bugopencl programMore(7+)
We present an effective technique for crosschecking a C or C++ program against an accelerated OpenCL version, as well as a technique for detecting data races in OpenCL programs. Our techniques are implemented in KLEE-CL, a symbolic execution engine based on KLEE and KLEE-FP that supports symbolic reasoning on the equivalence between symbo...More
Full Text (Upload PDF)
PPT (Upload PPT)