Verify your OpenCL and CUDA kernels online for race conditions

GPUVerify is a tool for formal analysis of GPU kernels written in OpenCL and CUDA. The tool can prove that kernels are free from certain types of defect, such as data races and bugs. This is quite useful feedback for any GPU-programmer. Below you find a online version of the tool (please don’t break it!).

Verify your OpenCL and CUDA kernels online for race conditions Read More »

Q&A with Adrien Plagnol and Frédéric Langlade-Bellone on WebCL

WebCL is a great technique to have compute-power in the browser. After WebGL which gives high-end graphics in the browser, this is a logical step on the road towards the browser-only operating system (like Chrome OS, but more will follow). Another way to look at technologies like WebCL, is that it makes it possible to

Q&A with Adrien Plagnol and Frédéric Langlade-Bellone on WebCL Read More »