research
∙
08/16/2022
The Weakest Failure Detector for Genuine Atomic Multicast (Extended Version)
Atomic broadcast is a group communication primitive to order messages ac...
share
research
∙
04/02/2021
Efficient Replication via Timestamp Stability (Extended Version)
Modern web applications replicate their data across the globe and requir...
research
∙
08/06/2020
Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version)
Modern Internet services commonly replicate critical data across several...
research
∙
03/26/2020
State-Machine Replication for Planet-Scale Systems (Extended Version)
Online applications now routinely replicate their data at multiple sites...
research
∙
07/26/2019
ServerMix: Tradeoffs and Challenges of Serverless Data Analytics
Serverless computing has become very popular today since it largely simp...
research
∙
06/26/2019
On the correctness of Egalitarian Paxos
This paper identifies a problem in both the TLA+ specification and the i...
research
∙
04/03/2018