The Spirit of Ghost Code
Abstract elided by the publisher.
Related papers
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- GPS: navigating weak memory with ghosts, protocols, and separation OOPSLA 2014
- Verus: Verifying Rust Programs using Linear Ghost Types OOPSLA 2023
- Dependent Ghosts Have a Reflection for Free ICFP 2024
- P: safe asynchronous event-driven programming PLDI 2013
- Sharing Ghost Variables in a Collection of Abstract Domains VMCAI 2020
- Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts VMCAI 2025
- Higher-order ghost state ICFP 2016