research
∙
07/22/2023
Verifiable Sustainability in Data Centers
Sustainability is crucial for combating climate change and protecting ou...
share
research
∙
05/23/2023
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall
Strictly serializable datastores greatly simplify the development of cor...
research
∙
12/19/2019
Detecting Incorrect Behavior of Cloud Databases as an Outsider
Cloud DBs offer strong properties, including serializability, sometimes ...
research
∙
05/26/2019
On the parallels between Paxos and Raft, and how to port optimizations
In recent years, Raft has overtaken Paxos as the consensus algorithm of ...
research
∙
05/18/2018