Verification of a Distributed Cache Memory by Using Abstractions
No abstract available.
Related papers
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Data Distribution Support on Distributed Shared Memory Multiprocessors PLDI 1997
- Local Scheduling Techniques for Memory Coherence in a Clustered VLIW Processor with a Distributed Data Cache CGO 2003
- Software transactional distributed shared memory PPoPP 2009
- Distributed Shared Memory with Versioned Objects OOPSLA 1992
- JDMM: a java memory model for non-cache-coherent memory architectures ISMM 2014
- AC-Cache: A Memory-Efficient Caching System for Small Objects via Exploiting Access Correlations PPoPP 2025
- Towards Composable Proofs of Cache Coherence Protocols CPP 2026