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

Active Bibliography

2 MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES – Sebastian Burckhardt, Rajeev Alur, Milo Martin, Rajeev Alur, Sebastian Burckhardt, Sebastian Burckhardt, Rajeev Alur, Milo Martin - 2007
5 Specifying and checking semantic atomicity for multithreaded programs – Jacob Burnim, George Necula, Koushik Sen - 2011
25 Deriving linearizable fine-grained concurrent objects – Martin Vechev, Eran Yahav - 2008
4 Simplifying linearizability proofs with reduction and abstraction – Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran - 2010
2 Fully Automatic and Precise Detection of Thread Safety Violations – Michael Pradel, Thomas R. Gross
Program analyses for automatic and . . . – Michael Pradel - 2012
NEC, Nokia, NVIDIA, and Samsung. NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness – Jacob Burnim, Tayfun Elmas, George Necula, Koushik Sen, Jacob Burnim, Tayfun Elmas, George Necula, Koushik Sen
1 S.: Parameterized model checking of fine grained concurrency – Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-narbonne, Sharad Malik
9 Model Checking of Linearizability of Concurrent List Implementations – Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
Verifying a Quantitative Relaxation of Linearizability via Refinement – Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
14 Experience with Model Checking Linearizability – Martin Vechev, Eran Yahav, Greta Yorsh
12 Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study – Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin - 2006
11 NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness – Jacob Burnim, Tayfun Elmas, George Necula, Koushik Sen - 2011
2 Verifying Linearizability with Hindsight – Peter W. O’Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh - 2010
1 A.: An integrated specification and verification technique for highly concurrent data structures – Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson - 2013
1 Verifying Linearizability via Optimized Refinement Checking – Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong
Model Checking Unbounded Concurrent Lists – Divjyot Sethi, Muralidhar Talupur, Sharad Malik
19 Instrumentation and sampling strategies for Cooperative Concurrency Bug Isolation – Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu - 2010
Acknowledgments – Caitlin Harrison Sadowski, Caitlin Harrison Sadowski, Caitlin Harrison Sadowski - 2012