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 (CAV, 2014)

Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency. - Ethel Bardsley (ICCSW, 2014)

KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. - Ethel Bardsley; Alastair F. Donaldson; John Wickerson (IWOCL, 2014)

Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. - Ethel Bardsley; Alastair F. Donaldson (NASA Formal Methods, 2014)