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

928 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
148 The Art of Multiprocessor Programming – M Herlihy, N Shavit - 2008
25 Shape-value abstraction for verifying linearizability – Viktor Vafeiadis - 2008
14 Experience with Model Checking Linearizability – Martin Vechev, Eran Yahav, Greta Yorsh
56 Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs – Cormac Flanagan
97 FastTrack: Efficient and Precise Dynamic Race Detection – Cormac Flanagan, Stephen N. Freund
25 Comparison under abstraction for verifying linearizability – Daphna Amit, Noam Rinetzky, Mooly Sagiv, Eran Yahav - 2007
8 Automatically proving linearizability – Viktor Vafeiadis - 2010
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
102 Systems programming: Coping with parallelism – R K Treiber - 1986
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
26 Formal verification of a lazy concurrent list-based set – Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir - 2006
24 VYRD: Verifying concurrent programs by runtime refinement-violation detection – Tayfun Elmas, Serdar Tasiran - 2005
36 Asserting and checking determinism for multithreaded programs – Jacob Burnim, Koushik Sen - 2009
132 AVIO: Detecting Atomicity Violations via Access Interleaving Invariants – Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou - 2006
46 Randomized active atomicity violation detection in concurrent programs – Chang-seo Park, Koushik Sen - 2008
9 Model Checking of Linearizability of Concurrent List Implementations – Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
122 S.: Iterative context bounding for systematic testing of multithreaded programs – M Musuvathi, Qadeer - 2007