-
Characterizing Synchronous Writes in Stable Memory Devices
Distributed algorithms that operate in the fail-recovery model rely on t...
read it
-
Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos
Fault-tolerant distributed systems offer high reliability because even i...
read it
-
UEFI BIOS Accessibility for the Visually Impaired
People with some kind of disability face a high level of difficulty for ...
read it
-
On the Coordinator's Rule for Fast Paxos
Fast Paxos is an algorithm for consensus that works by a succession of r...
read it
-
Seamless Paxos Coordinators
The Paxos algorithm requires a single correct coordinator process to ope...
read it
-
Transparent Replication Using Metaprogramming in Cyan
Replication can be used to increase the availability of a service by cre...
read it
-
Hardened Paxos Through Consistency Validation
Due to the emergent adoption of distributed systems when building applic...
read it

Gustavo M. D. Vieira
is this you? claim profile