1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Verify Linearizability of Concurrent Stacks
Tangliu Wen
Proving linearizability of concurrent data structures is crucial for ensuring their correctness, but is challenging especially for implementations that employ sophisticated synchro…
cs.SE2018★ 1 cited
Strict Linearizability and Abstract Atomicity
Tangliu Wen
Linearizability is a commonly accepted consistency condition for concurrent objects. Filipović et al. show that linearizability is equivalent to observational refinement. However,…