Formal Analysis Techniques for GPU Kernels
Tutorial at HiPEAC 2014, Berlin
21 January 2014


December 2013

FAT-GPU web site goes live.

July 2013

FAT-GPU is accepted as a half-day tutorial at HiPEAC 2014.


FAT-GPU 2014 is supported by the FP7 project CARP: Correct and Efficient Accelerator Programming

The tutorial is also supported by the HiPEAC Network of Excellence, through which the HiPEAC conference is organised.


The tutorial will not assume that the audience has read any background material on formal analysis techniques for GPU kernels. Nevertheless, some advance preparation is likely to make the tutorial material easier to follow.

Core Papers
The tutorial will, in part, cover material from the following paper:
Further Reading
Other relevant recent works on verification and semantics for GPU kernels include: