Ethel Bardsley

According to our database, Ethel Bardsley authored at least 4 papers in 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

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

Ethel Bardsley, Alastair F. Donaldson

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters.

Ethel Bardsley, Alastair F. Donaldson, John Wickerson

Proceedings of the International Workshop on OpenCL, 2014

Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency.

Ethel Bardsley

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

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

Proceedings of the Computer Aided Verification - 26th International Conference, 2014