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.


Please register via the HiPEAC conference registration page