Context-Sensitive Data Race Detection for Concurrent Programs

IEEE Access ◽

10.1109/access.2021.3055831 ◽

2021 ◽

Vol 9 ◽

pp. 20861-20867

Author(s):

Yang Zhang ◽

Huan Liu ◽

Liu Qiao

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Sensitive Data ◽

Data Race Detection ◽

Context Sensitive ◽

Download Full-text

Fast and Accurate Static Data-Race Detection for Concurrent Programs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73368-3_26 ◽

2007 ◽

pp. 226-239 ◽

Author(s):

Vineet Kahlon ◽

Yu Yang ◽

Sriram Sankaranarayanan ◽

Aarti Gupta

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

SRD: Static Data Race Detection for Concurrent Programs

10.23940/ijpe.18.11.p14.26832691 ◽

2018 ◽

Author(s):

Yang Zhang

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Static data race detection for concurrent programs with asynchronous calls

Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 ◽

10.1145/1595696.1595701 ◽

2009 ◽

Author(s):

Vineet Kahlon ◽

Nishant Sinha ◽

Erik Kruus ◽

Yun Zhang

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

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