Ethel is currently a software engineer at Google.
Engineering a Static Verification Tool for GPU Kernels
26th International Conference on Computer Aided Verification (CAV'14)
KernelInterceptor: Automating GPU Kernel Verification by Intercepting Kernels and their Parameters
International Workshop on OpenCL (IWOCL'14)
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels
6th International NASA Formal Methods Symposium (NFM'14)