Efficient Data-Race Detection with Dynamic Symbolic Execution

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems ◽

10.15439/2016f117 ◽

2016 ◽

Author(s):

Andreas Ibing

Keyword(s):

Symbolic Execution ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Dynamic Symbolic Execution ◽

Download Full-text

Compile-time support for efficient data race detection in shared-memory parallel programs

ACM SIGPLAN Notices ◽

10.1145/174267.171370 ◽

1993 ◽

Vol 28 (12) ◽

pp. 129-139 ◽

Author(s):

John Mellor-Crummey

Keyword(s):

Shared Memory ◽

Parallel Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Efficient data race detection for distributed memory parallel programs

Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '11 ◽

10.1145/2063384.2063452 ◽

2011 ◽

Author(s):

Chang-Seo Park ◽

Koushik Sen ◽

Paul Hargrove ◽

Costin Iancu

Keyword(s):

Distributed Memory ◽

Parallel Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Compile-time support for efficient data race detection in shared-memory parallel programs

Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging - PADD '93 ◽

10.1145/174266.171370 ◽

1993 ◽

Author(s):

John Mellor-Crummey

Keyword(s):

Shared Memory ◽

Parallel Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Efficient Data Race Detection for Async-Finish Parallelism

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16612-9_28 ◽

2010 ◽

pp. 368-383 ◽

Author(s):

Raghavan Raman ◽

Jisheng Zhao ◽

Vivek Sarkar ◽

Martin Vechev ◽

Eran Yahav

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Efficient Data Race Detection for C/C++ Programs Using Dynamic Granularity

2014 IEEE 28th International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2014.76 ◽

2014 ◽

Author(s):

Young Wn Song ◽

Yann-Hang Lee

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Space efficient data race detection for parallel programs with series-parallel task graphs

Proceedings Euromicro Workshop on Parallel and Distributed Processing ◽

10.1109/empdp.1995.389169 ◽

2002 ◽

Author(s):

K. Audenaert ◽

L. Levrouw

Keyword(s):

Parallel Programs ◽

Data Race ◽

Data Race Detection ◽

Parallel Task ◽

Race Detection ◽

Task Graphs ◽

Download Full-text

Efficient data race detection for async-finish parallelism

Formal Methods in System Design ◽

10.1007/s10703-012-0143-7 ◽

2012 ◽

Vol 41 (3) ◽

pp. 321-347 ◽

Author(s):

Raghavan Raman ◽

Jisheng Zhao ◽

Vivek Sarkar ◽

Martin Vechev ◽

Eran Yahav

Keyword(s):

Data Race ◽

Data Race Detection ◽

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