research
∙
09/26/2021
Rabia: Simplifying State-Machine Replication Through Randomization
We introduce Rabia, a simple and high performance framework for implemen...
share
research
∙
08/26/2020
Amortized Constant Round Atomic Snapshot in Message-Passing Systems
We study the lattice agreement (LA) and atomic snapshot problems in asyn...
research
∙
02/17/2020
Byzantine Lattice Agreement in Asynchronous Systems
We study the Byzantine lattice agreement (BLA) problem in asynchronous d...
research
∙
10/30/2019
Byzantine Lattice Agreement in Synchronous Systems
In this paper, we study the Byzantine lattice agreement problem in synch...
research
∙
05/08/2019
Parallel and Distributed Algorithms for the housing allocation Problem
We give parallel and distributed algorithms for the housing allocation p...
research
∙
01/19/2019
An Optimal Vector Clock Algorithm for Multithreaded Systems
Tracking causality (or happened-before relation) between events is usefu...
research
∙
10/13/2018
Linearizable Replicated State Machines with Lattice Agreement
This paper studies the lattice agreement problem in asynchronous systems...
research
∙
07/30/2018