Chapar: certified causally consistent distributed key-value stores
© 2016 ACM. Today's Internet services are often expected to stay available and render high responsiveness even in the face of site crashes and network partitions. Theoretical results state that causal consistency is one of the strongest consistency guarantees that is possible under these requir...
Main Authors: | Lesani, Mohsen, Bell, Christian J., Chlipala, Adam |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
ACM
2021
|
Online Access: | https://hdl.handle.net/1721.1/137718 |
Similar Items
-
Experimental quantum key distribution certified by Bell's theorem
by: Nadlinger, DP, et al.
Published: (2022) -
Certifying Derivation of State Machines from Coroutines
by: Ikebuchi, Mirai, et al.
Published: (2022) -
BlueCache : a scalable distributed flash-based key-value store
by: Xu, Shuotao
Published: (2016) -
C4: Verified Transactional Objects
by: Lesani, Mohsen, et al.
Published: (2022) -
Rethinking Update-in-Place Key-Value Stores for Modern
Storage
by: Markakis, Markos
Published: (2022)