publications

last modified on 2021-03-15

contents…

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

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