Formal Analysis Techniques for GPU Kernels
FAT-GPU 2013
Overview
Formal Analysis Techniques for GPU Kernels FAT-GPU) is a half-day tutorial on recent developments in the area of improving the reliability of GPU kernels. The focus will be th GPUVerify ool, developed a Imperial College London s part of th CARP U project. The tutorial will cover how GPUVerify can be used for bu detection, provin absence f defects, and checkingportability f GPU kernel code written in OpenCL and CUDA.
The tutorial will be practical, aimed at researchers and practitioners in the parallel programming community who have a reasonable background in GPU programming. The tutoria will not ssume a background in formal verification or theoretical computer science.
http://www.doc.ic.ac.uk/~afd/FAT-GPU/