https://github.com/hengxin/consistency-models-checking

Checking Consistency Models
https://github.com/hengxin/consistency-models-checking

consistency-checking consistency-models resources

Last synced: 3 months ago
JSON representation

Checking Consistency Models

• Host: GitHub
• URL: https://github.com/hengxin/consistency-models-checking
• Owner: hengxin
• License: mit
• Created: 2019-10-27T13:55:04.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-10-27T14:10:58.000Z (over 6 years ago)
• Last Synced: 2025-10-06T13:37:13.139Z (8 months ago)
• Topics: consistency-checking, consistency-models, resources
• Size: 2.93 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# consistency-models-checking

Checking Consistency Models

- [POPL'2017: Serializability for Eventual Consistency: Criterion, Analysis, and Applications]()

- [PLDI'2018: Static Serializability Analysis for Causal Consistency]()

- [CONCUR'2018: Automated Detection of Serializability Violations Under Weak Consistency]()

- [CAV'2018: Monitoring Weak Consistency]()

- [SOSP2015: Existential Consistency: Measuring and Understanding Consistency at Facebook]()