research
∙
05/24/2023
Fault-tolerant computing with unreliable channels
We study implementations of basic fault-tolerant primitives, such as con...
share
research
∙
02/14/2022
Liveness and Latency of Byzantine State-Machine Replication
Byzantine state-machine replication (SMR) ensures the consistency of rep...
research
∙
06/01/2021
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Modern online services rely on data stores that replicate their data acr...
research
∙
04/02/2021
Efficient Replication via Timestamp Stability (Extended Version)
Modern web applications replicate their data across the globe and requir...
research
∙
08/10/2020
Making Byzantine Consensus Live (Extended Version)
Partially synchronous Byzantine consensus protocols typically structure ...
research
∙
03/26/2020
State-Machine Replication for Planet-Scale Systems (Extended Version)
Online applications now routinely replicate their data at multiple sites...
research
∙
08/08/2019
Privatization-Safe Transactional Memories (Extended Version)
Transactional memory (TM) facilitates the development of concurrent appl...
research
∙
06/04/2019
Reconfigurable Atomic Transaction Commit (Extended Version)
Modern data stores achieve scalability by partitioning data into shards ...
research
∙
04/15/2019
White-Box Atomic Multicast (Extended Version)
Atomic multicast is a communication primitive that delivers messages to ...
research
∙
11/08/2018
Federated Byzantine Quorum Systems (Extended Version)
Some of the recent blockchain proposals, such as Stellar and Ripple, use...
research
∙
08/02/2018
Multi-Shot Distributed Transaction Commit (Extended Version)
Atomic Commit Problem (ACP) is a single-shot agreement problem similar t...
research
∙
02/16/2018
Paxos Consensus, Deconstructed and Abstracted (Extended Version)
Lamport's Paxos algorithm is a classic consensus protocol for state mach...
research
∙
02/16/2018
Compositional Verification of Compiler Optimisations on Relaxed Memory
A valid compiler optimisation transforms a block in a program without in...
research
∙
01/12/2018