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