Lightweight Static Analysis for Data Race Detection in Operating System Kernels

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2015-27(5)-6 ◽

2015 ◽

Vol 27 (5) ◽

pp. 87-116

Author(s):

P.S. Andrianov ◽

V.S. Mutilin ◽

A.V. Khoroshilov

Keyword(s):

Operating System ◽

Static Analysis ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Operating System Kernels

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

A static analysis approach to data race detection in SystemC designs

2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) ◽

10.1109/ddecs.2013.6549788 ◽

2013 ◽

Author(s):

M. Moiseev ◽

M. Glukhikh ◽

A. Zakharov ◽

H. Richter

Keyword(s):

Static Analysis ◽

Analysis Approach ◽

Data Race ◽

Data Race Detection ◽

Download Full-text

Static analysis for concurrent programs with applications to data race detection

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-013-0274-1 ◽

2013 ◽

Vol 15 (4) ◽

pp. 321-336 ◽

Author(s):

Vineet Kahlon ◽

Sriram Sankaranarayanan ◽

Aarti Gupta

Keyword(s):

Static Analysis ◽

Concurrent Programs ◽

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