Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking

2009 IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2009.82 ◽

2009 ◽

Author(s):

KyungHee Kim ◽

Tuba Yavuz-Kahveci ◽

Beverly A. Sanders

Keyword(s):

Model Checking ◽

Memory Model ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Precise Data ◽

Relaxed Memory Model ◽

Download Full-text

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking

2013 IEEE Seventh International Conference on Software Security and Reliability Companion ◽

10.1109/sere-c.2013.33 ◽

2013 ◽

Author(s):

Xueguang Wu ◽

Yanjun Wen ◽

Liqian Chen ◽

Wei Dong ◽

Ji Wang

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Data Race ◽

Data Race Detection ◽

Download Full-text

A Study on Race Condition and Dynamic Data Race Detection Techniques

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i6.4146 ◽

2019 ◽

Vol 7 (6) ◽

pp. 41-46

Author(s):

Mithilesh Kumar Dubey ◽

Devesh Lowe ◽

Bhavna Galhotra

Keyword(s):

Data Race ◽

Dynamic Data ◽

Data Race Detection ◽

Detection Techniques ◽

Race Detection ◽

Download Full-text

Symbolic data race detection for Habanero programs

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3364452.33644562 ◽

2019 ◽

Vol 44 (4) ◽

pp. 18-18 ◽

Author(s):

Egor Namakonov ◽

Eric Mercer ◽

Pavel Parizek ◽

Kyle Storey

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00008 ◽

2020 ◽

Author(s):

Gaurav Verma ◽

Yaying Shi ◽

Chunhua Liao ◽

Barbara Chapman ◽

Yonghong Yan

Keyword(s):

Data Race ◽

Data Race Detection ◽

Download Full-text

Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '03 ◽

10.1145/781498.781528 ◽

2003 ◽

Author(s):

Robert O'Callahan ◽

Jong-Deok Choi

Keyword(s):

Data Race ◽

Dynamic Data ◽

Data Race Detection ◽

Download Full-text

Deadlock checking by data race detection

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2014.07.003 ◽

2014 ◽

Vol 83 (5-6) ◽

pp. 400-426 ◽

Author(s):

Ka I Pun ◽

Martin Steffen ◽

Volker Stolz

Keyword(s):

Data Race ◽

Data Race Detection ◽

Download Full-text

Runtime and Memory Evaluation of Data Race Detection Tools

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_13 ◽

2018 ◽

pp. 179-196 ◽

Author(s):

Pei-Hung Lin ◽

Chunhua Liao ◽

Markus Schordan ◽

Ian Karlin

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Evaluation Of Data

Download Full-text

Scalable Thread-Modular Approach for Data Race Detection

Frontiers in Software Engineering Education - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57663-9_24 ◽

2020 ◽

pp. 371-385

Author(s):

Pavel Andrianov ◽

Vadim Mutilin

Keyword(s):

Modular Approach ◽

Data Race ◽

Data Race Detection ◽

Download Full-text

On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph

OpenMP: Portable Multi-Level Parallelism on Modern Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-58144-2_10 ◽

2020 ◽

pp. 149-164

Author(s):

Nader Boushehrinejadmoradi ◽

Adarsh Yoga ◽

Santosh Nagarakatte

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_45 ◽

2013 ◽

pp. 516-525 ◽

Author(s):

Jakob Mund ◽

Ralf Huuck ◽

Ansgar Fehnker ◽

Cyrille Artho

Keyword(s):

Static Analysis ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Layered Approach

Download Full-text