|
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
|
|
13
|
Deriving linearizable fine-grained concurrent objects
– Martin Vechev, Eran Yahav
- 2008
|
|
1
|
Specifying and checking semantic atomicity for multithreaded programs
– Jacob Burnim, George Necula, Koushik Sen
- 2011
|
|
|
Fully Automatic and Precise Detection of Thread Safety Violations
– Michael Pradel, Thomas R. Gross
|
|
3
|
Model Checking of Linearizability of Concurrent List Implementations
– Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
|
|
2
|
Simplifying linearizability proofs with reduction and abstraction
– Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
- 2010
|
|
5
|
Experience with Model Checking Linearizability
– Martin Vechev, Eran Yahav, Greta Yorsh
|
|
7
|
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
– Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
- 2006
|
|
2
|
Verifying Linearizability with Hindsight
– Peter W. O’Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh
- 2010
|
|
2
|
Testing atomicity of composed concurrent operations
– Ohad Shacham, Mooly Sagiv, Nathan Bronson, Martin Vechev, Alex Aiken, Eran Yahav
- 2011
|
|
1
|
BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code
– Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov
|
|
6
|
Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs ∗
– Yao Shi, Shan Lu, Soyeon Park, Yuanyuan Zhou, Zuoning Yin, Wenguang Chen, Weimin Zheng
|
|
22
|
Modular fine-grained concurrency verification
– Viktor Vafeiadis
|
|
5
|
reports/934 Generating Litmus Tests for Contrasting Memory Consistency Models ⋆- Extended Version ⋆⋆
– Sela Mador-haim, Rajeev Alur, Milo M. K. Martin, Sela Mador-haim, Rajeev Alur, Milo M. K. Martin
|
|
1
|
Types for Precise Thread Interference
– Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
|
|
12
|
Sketching Concurrent Data Structures
– Armando Solar-Lezama , Christopher Grant Jones, Rastislav Bodík
- 2008
|
|
76
|
On the correctness of transactional memory
– Aleksandar Dragojević, Rachid Guerraoui, Michał Kapałka
- 2008
|
|
|
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
– Jaroslav Sevčík , Viktor Vafeiadis , Francesco Zappa Nardelli, SURESH JAGANNATHAN, PETER SEWELL
|
|
8
|
Using Abstraction in Explicitly Parallel Programs
– Katherine Anne Yelick
- 1990
|
