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
25 Deriving linearizable fine-grained concurrent objects – Martin Vechev, Eran Yahav - 2008
5 Specifying and checking semantic atomicity for multithreaded programs – Jacob Burnim, George Necula, Koushik Sen - 2011
2 Fully Automatic and Precise Detection of Thread Safety Violations – Michael Pradel, Thomas R. Gross
Program analyses for automatic and . . . – Michael Pradel - 2012
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 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
5 Simplifying linearizability proofs with reduction and abstraction – Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran - 2010
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
3 Verifying Linearizability with Hindsight – Peter W. O’Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh - 2010
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
6 Testing atomicity of composed concurrent operations – Ohad Shacham, Mooly Sagiv, Nathan Bronson, Martin Vechev, Alex Aiken, Eran Yahav - 2011
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
Acknowledgments – Caitlin Harrison Sadowski, Caitlin Harrison Sadowski, Caitlin Harrison Sadowski - 2012
Distributed Computing Column 46 Synthesizing Distributed and Concurrent Programs – Idit Keidar