26 citations · 29 across the 2 of their papers we have counts for
2 papers
cs.DC2015★ 3 cited
Sequential Consistency and Concurrent Data Structures
Ali Sezgin
Linearizability, the de facto correctness condition for concurrent data structure implementations, despite its intuitive appeal is known to lead to poor scalability. This disadvant…
cs.LO2015★ 26 cited
Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin +1
Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably,…