research
∙
04/04/2022
Parameterized algorithm for replicated objects with local reads
We consider the problem of implementing linearizable objects that suppor...
share
research
∙
08/03/2021
An Impossibility Result on Strong Linearizability in Message-Passing Systems
We prove that in asynchronous message-passing systems where at most one ...
research
∙
03/22/2021
Differentiated nonblocking: a new progress condition and a matching queue algorithm
In this paper, we first propose a new liveness requirement for shared ob...
research
∙
02/26/2021
On Register Linearizability and Termination
In a seminal work, Golab et al. showed that a randomized algorithm that ...
research
∙
10/28/2020
On Linearizability and the Termination of Randomized Algorithms
We study the question of whether the "termination with probability 1" pr...
research
∙
06/11/2020
Randomized Consensus with Regular Registers
The well-known randomized consensus algorithm by Aspnes and Herlihy for ...
research
∙
06/01/2019
