Software Engineering Empirical Research Radar
CAV 2025 Papers
CAV 2025 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe | CAV | 2025 | Program Analysis / Verification / Formal Methods; Cloud / Distributed / Service Computing |