Announcement_7

Just accepted: Our paper Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts will be presented at VMCAI 2025 👻🎉