3 citations · 14 across the 23 of their papers we have counts for
5 papers · 1 filter
The Synchronization Power of Auditable Registers
Hagit Attiya, Antonella Del Pozzo, Alessia Milani +2
Auditability allows to track all the read operations performed on a register. It abstracts the need of data owners to control access to their data, tracking who read which informat…
Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit
Hagit Attiya, Jennifer L. Welch
Algorithms to solve fault-tolerant consensus in asynchronous systems often rely on primitives such as crusader agreement, adopt-commit, and graded broadcast, which provide weaker a…
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks
Hagit Attiya, Pierre Fraigniaud, Ami Paz +1
The paper compares two generic techniques for deriving lower bounds and impossibility results in distributed computing. First, we prove a speedup theorem (a-la Brandt, 2019), for w…
Recoverable and Detectable Self-Implementations of Swap
Tomer Lev Lehman, Hagit Attiya, Danny Hendler
Recoverable algorithms tolerate failures and recoveries of processes by using non-volatile memory. Of particular interest are self-implementations of key operations, in which a rec…
Topological Characterization of Task Solvability in General Models of Computation
Hagit Attiya, Armando Castañeda, Thomas Nowak
The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial…