[PLDI'23] cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA(…) | ACM SIGPLAN | Podwise