Login / Signup
Ethel Bardsley
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Multiple Kernel
Formal Verification
Gaussian Kernels
Optimal Kernel
Top Venues
CAV
IWOCL
ICCSW
NASA Formal Methods
</>
Publications
</>
Ethel Bardsley
Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency.
ICCSW
(2014)
Ethel Bardsley
,
Alastair F. Donaldson
,
John Wickerson
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters.
IWOCL
(2014)
Ethel Bardsley
,
Alastair F. Donaldson
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels.
NASA Formal Methods
(2014)
Ethel Bardsley
,
Adam Betts
,
Nathan Chong
,
Peter Collingbourne
,
Pantazis Deligiannis
,
Alastair F. Donaldson
,
Jeroen Ketema
,
Daniel Liew
,
Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels.
CAV
(2014)