SentryWard: Formal Verification of Warp-Specialized GPU Kernels

2 points | by matt_d 9 hours ago