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

OpenMP aware MHP Analysis for Improved Static Data-Race Detection

10.1109/llvmhpc54804.2021.00006 ◽

2021 ◽

Author(s):

Utpal Bora ◽

Shraiysh Vaishay ◽

Saurabh Joshi ◽

Ramakrishna Upadrasta

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-52709-3_10 ◽

2017 ◽

pp. 106-120 ◽

Author(s):

Prasanth Chatarasi ◽

Jun Shirako ◽

Martin Kong ◽

Vivek Sarkar

Keyword(s):

Data Race ◽

Polyhedral Model ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Static Data Race Detection for Interrupt-Driven Embedded Software

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.18 ◽

2011 ◽

Author(s):

Rui Chen ◽

Xiangying Guo ◽

Yonghao Duan ◽

Bin Gu ◽

Mengfei Yang

Keyword(s):

Embedded Software ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Pruning False Positives of Static Data-Race Detection via Thread Specialization

Lecture Notes in Computer Science - Advanced Parallel Processing Technologies ◽

10.1007/978-3-642-45293-2_6 ◽

2013 ◽

pp. 77-90 ◽

Author(s):

Chen Chen ◽

Kai Lu ◽

Xiaoping Wang ◽

Xu Zhou ◽

Li Fang

Keyword(s):

False Positives ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

An Approach to Lightweight Static Data Race Detection

10.15514/syrcose-2014-8-4 ◽

2014 ◽

Author(s):

Pavel Andrianov ◽

Alexey Khoroshilov ◽

Vadim Mutilin

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Download Full-text

Static Data Race Detection for Java Programs with Dynamic Class Loading

Internet and Distributed Computing Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11692-1_14 ◽

2014 ◽

pp. 161-173 ◽

Author(s):

Noriaki Yoshiura ◽

Wei Wei

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data ◽

Download Full-text

Static Data-Race Detection for Multithread Programs

Journal of Computer Research and Development ◽

10.1360/crad20060221 ◽

2006 ◽

Vol 43 (2) ◽

pp. 329 ◽

Author(s):

Ping Wu

Keyword(s):

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