research
∙
01/24/2023
Quorum Tree Abstractions of Consensus Protocols
Distributed algorithms solving agreement problems like consensus or stat...
share
research
∙
11/22/2022
A Pragmatic Approach to Stateful Partial Order Reduction
Partial order reduction (POR) is a classic technique for dealing with th...
research
∙
03/15/2019
Replication-Aware Linearizability
Geo-distributed systems often replicate data at multiple locations to ac...
research
∙
04/14/2018