Towards Incremental Static Race Detection in OpenMP Programs

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00009 ◽

2018 ◽

Author(s):

Bradley Swain ◽

Jeff Huang

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Conditional must not aliasing for static race detection

ACM SIGPLAN Notices ◽

10.1145/1190215.1190265 ◽

2007 ◽

Vol 42 (1) ◽

pp. 327-338 ◽

Author(s):

Mayur Naik ◽

Alex Aiken

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Static race detection for device drivers: the Goblint approach

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 ◽

10.1145/2970276.2970337 ◽

2016 ◽

Author(s):

Vesal Vojdani ◽

Kalmer Apinis ◽

Vootele Rõtov ◽

Helmut Seidl ◽

Varmo Vene ◽

...

Keyword(s):

Device Drivers ◽

Race Detection ◽

Static Race Detection

Download Full-text

Effective static race detection for Java

ACM SIGPLAN Notices ◽

10.1145/1133255.1134018 ◽

2006 ◽

Vol 41 (6) ◽

pp. 308-319 ◽

Author(s):

Mayur Naik ◽

Alex Aiken ◽

John Whaley

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Practical static race detection for Java parallel loops

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483765 ◽

2013 ◽

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

Static Race Detection

Download Full-text

When threads meet events: efficient and precise static race detection with origins

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454073 ◽

2021 ◽

Author(s):

Bozhen Liu ◽

Peiming Liu ◽

Yanze Li ◽

Chia-Che Tsai ◽

Dilma Da Silva ◽

...

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

RacerD: compositional static race detection

Proceedings of the ACM on Programming Languages ◽

10.1145/3276514 ◽

2018 ◽

Vol 2 (OOPSLA) ◽

pp. 1-28 ◽

Author(s):

Sam Blackshear ◽

Nikos Gorogiannis ◽

Peter W. O'Hearn ◽

Ilya Sergey

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Effective static race detection for Java

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 ◽

10.1145/1133981.1134018 ◽

2006 ◽

Author(s):

Mayur Naik ◽

Alex Aiken ◽

John Whaley

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Conditional must not aliasing for static race detection

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 ◽

10.1145/1190216.1190265 ◽

2007 ◽

Author(s):

Mayur Naik ◽

Alex Aiken

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Effective Techniques for Static Race Detection in Java Parallel Loops

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2729975 ◽

2015 ◽

Vol 24 (4) ◽

pp. 1-30 ◽

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

Static 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