3 papers
cs.DC2026
Revisiting Lower Bounds for Two-Step Consensus
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
A seminal result by Lamport shows that at least processes are required to implement partially synchronous consensus that tolerates process failures and ca…
cs.DC2025
Adjusted Objects: An Efficient and Principled Approach to Scalable Programming (Extended Version)
Boubacar Kane, Pierre Sutra
Parallel programs require software support to coordinate access to shared data. For this purpose, modern programming languages provide strongly-consistent shared objects. To accoun…
cs.DC2024
Generic Multicast (Extended Version)
José Augusto Bolina, Pierre Sutra, Douglas Antunes Rocha +1
Communication primitives play a central role in modern computing. They offer a panel of reliability and ordering guarantees for messages, enabling the implementation of complex dis…