3 papers
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
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,…
cs.PL2018
Proving Linearizability Using Reduction
Tangliu Wen
Lipton's reduction theory provides an intuitive and simple way for deducing the non-interference properties of concurrent programs, but it is difficult to directly apply the techni…