An ACL2 Proof of Write Invalidate Cache Coherence
No abstract available.
DOI 10.1007/bfb0028728
Related papers
- Consistency and Coherence of the NVIDIA Grace-Hopper Superchip ISMM 2026
- Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols TOPLAS 1996
- The Interaction of Parallel Programming Constructs and Coherence Protocols PPoPP 1997
- Towards Composable Proofs of Cache Coherence Protocols CPP 2026
- WARDen: Specializing Cache Coherence for High-Level Parallel Languages CGO 2023
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications ISMM 2026
- Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence JFP 2001