TY  - RPRT
TI  - GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
AU  - Soham Chakraborty
AU  - S. Krishna
AU  - Andreas Pavlogiannis
AU  - Omkar Tuppe
PY  - 2025
UR  - https://arxiv.org/abs/2505.20207
ID  - 2505.20207
ER  -