97 citations · 433 across the 54 of their papers we have counts for
1 paper · 2 filters
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti +2
In the past decade, many techniques have been developed to prove linearizability, the gold standard of correctness for concurrent data structures. Intuitively, linearizability requ…