Last released Oct 16, 2026
Static verifier for synchronization, memory lifetime, and memory races in PTX kernels