sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.

Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe

Browse the full CAV paper archive.