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)

• Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

  Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

  22nd European Symposium on Programming (ESOP'13)