Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe
Software Engineering Empirical Research Radar
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Paper detail page in SEER Radar.
CAV 2025
Program Analysis / Verification / Formal Methods; Cloud / Distributed / Service Computing
Concurrent Protocol Verification
Abstract / Summary
GPUMC explores executions of GPU shared-memory programs under scoped RC11, detecting races, barrier divergence and assertion violations and repairing suitable errors. It offers a recent major-conference comparison for explicit memory-model assumptions and bounded checking of concurrent shared state.
External Links
Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.