research
∙
02/18/2020
Characterizing Synchronous Writes in Stable Memory Devices
Distributed algorithms that operate in the fail-recovery model rely on t...
share
research
∙
02/18/2020
Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos
Fault-tolerant distributed systems offer high reliability because even i...
research
∙
12/07/2017
UEFI BIOS Accessibility for the Visually Impaired
People with some kind of disability face a high level of difficulty for ...
research
∙
10/23/2017
On the Coordinator's Rule for Fast Paxos
Fast Paxos is an algorithm for consensus that works by a succession of r...
research
∙
10/21/2017
Seamless Paxos Coordinators
The Paxos algorithm requires a single correct coordinator process to ope...
research
∙
10/20/2017
Transparent Replication Using Metaprogramming in Cyan
Replication can be used to increase the availability of a service by cre...
research
∙
10/20/2017
