Protocol Verification by Aggregation of Distributed Transactions
Abstract elided by the publisher.
Related papers
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions TACAS 2025
- Model Checking Distributed Protocols in Must OOPSLA 2024
- Software transactional memory for large scale clusters PPoPP 2008
- Trade-offs Between False Sharing and Aggregation in Software Distributed Shared Memory PPoPP 1997
- Parameterized verification of transactional memories PLDI 2010
- Interactive Verification of Distributed Protocols Using Decidable Logic SAS 2018
- Message-Passing Algorithms for the Verification of Distributed Protocols VMCAI 2014