Software Engineering Empirical Research Radar
CAV Papers
Recent CAV papers in the SEER Radar snapshot.
| 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 |