GPUVerify: Introduction and overview
2,758 views · Published 23 April 2013 · 32:16 · Indexed 24 October 2026
Channel: Imperial College London · 2013 · Science & Technology
In this video, Alastair Donaldson provides an overview of GPUVerify, which is a tool for analysing OpenCL and CUDA kernels to check for data races and barrier divergence. The video demonstrates GPUVerify in action on some practical examples. For more information please visit http://multicore.doc.ic.ac.uk/tools/GPUVerify Supported by the CARP project: http://www.carpproject.eu
More from this channel
-
2:56
Come fly with me
-
1:35
Prime Minister Gordon Brown visits Imperial
-
1:46
Imperial Students enter Red Bull competition with ICarus
-
1:51
Green Week at Imperial College London
-
3:30
Dr Aleksander Ivetic wins research fellowship
-
2:55
Imperial College london Alumni Reunion 2008
-
3:08
The Drug Discovery centre at Imperial College London
-
2:53
Eastside 'Topping out' ceremony Imperial College London