Symbolic testing of OpenCL code

Haifa Verification Conference, pp. 203-218, 2011.

Cited by: 31|Bibtex|Views6|Links
EI
Keywords:
symbolic reasoningopencl environmentsymbolic testingopencl compiler bugopencl programMore(7+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments