Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People

The Taub Faculty of Computer Science Events and Talks

Distributed Computing Seminar: Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
event speaker icon
Armando Castañeda (National Autonomous University of Mexico)
event date icon
Sunday, 14.05.2023, 11:30
event location icon
Taub 301
This work studies the problem of distributed runtime verification of linearizability for asynchronous concurrent implementations. It proposes an interactive model for distributed runtime verification and shows that it is impossible to verify at runtime this correctness condition for some common sequential objects such as queues, stacks, sets, priority queues, counters and the consensus problem. The impossibility captures informal arguments used in the past that argue distributed runtime verification is impossible.