Formal analysis techniques for reliable GPU programming
current solutions and call to action
A.F. Donaldson1; G. Gopalakrishnan2; N. Chong1; J. Ketema1; G. Li2; P. Li2; A. Lokhmotov3; S. Qadeer4 1 Imperial College London, London, United Kingdom2 University of Utah, Salt Lake City, UT, United States3 dividiti, Cambridge, United Kingdom4 Microsoft Research, Redmond, WA, United States
Abstract
Graphics processing units (GPU)-accelerated computing is being adopted increasingly in a number of areas, ranging from high-end scientific computing to mobile and embedded computing. While GPU programs routinely provide high computational throughput in a number of areas, they also prove to be notoriously difficult to write and optimize correctly, ...
Get Advances in GPU Research and Practice now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
