Software Engineering Empirical Research Radar
VMCAI 2025 Papers
VMCAI 2025 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan | VMCAI | 2025 | Program Analysis / Verification / Formal Methods |