8 citations · 16 across the 6 of their papers we have counts for
6 papers
Characterizing Synchronous Writes in Stable Memory Devices
William B. Mingardi, Gustavo M. D. Vieira
Distributed algorithms that operate in the fail-recovery model rely on the state stored in stable memory to guarantee the irreversibility of operations even in the presence of fail…
Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos
Rodrigo R. Barbieri, Enrique S. dos Santos, Gustavo M. D. Vieira
Fault-tolerant distributed systems offer high reliability because even if faults in their components occur, they do not exhibit erroneous behavior. Depending on the fault model ado…
UEFI BIOS Accessibility for the Visually Impaired
Rafael R. Machado, Gustavo M. D. Vieira
People with some kind of disability face a high level of difficulty for everyday tasks because, in many cases, accessibility was not considered necessary when the task or process w…
Hardened Paxos Through Consistency Validation
Rodrigo R. Barbieri, Gustavo M. D. Vieira
Due to the emergent adoption of distributed systems when building applications, demand for reliability and availability has increased. These properties can be achieved through repl…
On the Coordinator's Rule for Fast Paxos
Gustavo M. D. Vieira, Luiz E. Buzato
Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value that is consistent with all past rounds. Rounds are star…
Seamless Paxos Coordinators
Gustavo M. D. Vieira, Islene C. Garcia, Luiz E. Buzato
The Paxos algorithm requires a single correct coordinator process to operate. After a failure, the replacement of the coordinator may lead to a temporary unavailability of the appl…