publications

Warps and atomics: Beyond barrier synchronization in the verification of GPU kernels

Engineering a Static Verification Tool for GPU Kernels

KernelInterceptor: GPU kernel verification by intercepting kernel parameters