static race detection Latest Research Papers

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

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 ◽

Cited By ~ 1

Author(s):

Bradley Swain ◽

Jeff Huang

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 ◽

Cited By ~ 12

Author(s):

Sam Blackshear ◽

Nikos Gorogiannis ◽

Peter W. O'Hearn ◽

Ilya Sergey

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 ◽

Cited By ~ 8

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 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 ◽

Cited By ~ 6

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

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 ◽

Cited By ~ 14

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

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 ◽

Cited By ~ 23

Author(s):

Mayur Naik ◽

Alex Aiken

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 ◽

Cited By ~ 77

Author(s):

Mayur Naik ◽

Alex Aiken

Keyword(s):

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 ◽

Cited By ~ 34

Author(s):

Mayur Naik ◽

Alex Aiken ◽

John Whaley

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 ◽

Cited By ~ 257

Author(s):

Mayur Naik ◽

Alex Aiken ◽

John Whaley

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

static race detection
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Towards Incremental Static Race Detection in OpenMP Programs

RacerD: compositional static race detection

Static race detection for device drivers: the Goblint approach

Effective Techniques for Static Race Detection in Java Parallel Loops

Practical static race detection for Java parallel loops

Conditional must not aliasing for static race detection

Conditional must not aliasing for static race detection

Effective static race detection for Java

Effective static race detection for Java

Export Citation Format

static race detectionRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Towards Incremental Static Race Detection in OpenMP Programs

RacerD: compositional static race detection

Static race detection for device drivers: the Goblint approach

Effective Techniques for Static Race Detection in Java Parallel Loops

Practical static race detection for Java parallel loops

Conditional must not aliasing for static race detection

Conditional must not aliasing for static race detection

Effective static race detection for Java

Effective static race detection for Java

static race detection
Recently Published Documents