SentryWard: Formal Verification of Warp-Specialized GPU Kernels

• Posted 1 hour ago by matt_d
• 2 points