Group Publications

• Engineering a Static Verification Tool for GPU Kernels

  Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

  26th International Conference on Computer Aided Verification (CAV'14)

• KernelInterceptor: Automating GPU Kernel Verification by Intercepting Kernels and their Parameters

  Ethel Bardsley, Alastair F. Donaldson, John Wickerson

  International Workshop on OpenCL (IWOCL'14)

• Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels

  Ethel Bardsley, Alastair F. Donaldson

  6th International NASA Formal Methods Symposium (NFM'14)