Line-up: A complete and automatic linearizability checker (2010)

by Sebastian Burckhardt , Chris Dern , Roy Tan , Madanlal Musuvathi
Venue:In PLDI
Citations:21 - 0 self

Documents Related by Co-Citation

917 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
146 The Art of Multiprocessor Programming – Maurice Herlihy, Nir Shavit - 2008
24 Shape-value abstraction for verifying linearizability – Viktor Vafeiadis - 2008
14 Experience with Model Checking Linearizability – Martin Vechev, Eran Yahav, Greta Yorsh
25 Comparison under abstraction for verifying linearizability – Daphna Amit, Noam Rinetzky, Mooly Sagiv, Eran Yahav - 2007
8 Automatically proving linearizability – Viktor Vafeiadis - 2010
96 Systems programming: Coping with parallelism – R K Treiber - 1986
26 Formal verification of a lazy concurrent list-based set – Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir - 2006
36 Asserting and checking determinism for multithreaded programs – Jacob Burnim, Koushik Sen - 2009
56 Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs – Cormac Flanagan
98 FastTrack: Efficient and Precise Dynamic Race Detection – Cormac Flanagan, Stephen N. Freund
9 Model Checking Linearizability via Refinement – Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun - 2009
21 Thread Quantification for Concurrent Shape Analysis – J. Berdine, T. Lev-ami, R. Manevich, G. Ramalingam, M. Sagiv
132 practical non-blocking and blocking concurrent queue algorithms – fast Simple - 1996
31 Exploiting purity for atomicity – Cormac Flanagan, Stephen N. Freund, Shaz Qadeer - 2004
214 A type and effect system for atomicity – Cormac Flanagan, Shaz Qadeer - 2003
133 AVIO: Detecting Atomicity Violations via Access Interleaving Invariants – Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou - 2006
201 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
24 VYRD: Verifying concurrent programs by runtime refinement-violation detection – Tayfun Elmas, Serdar Tasiran - 2005