SRD: Static Data Race Detection for Concurrent Programs

2007 ◽

pp. 226-239 ◽

Cited By ~ 29

Author(s):

Vineet Kahlon ◽

Yu Yang ◽

Sriram Sankaranarayanan ◽

Aarti Gupta

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Cited By ~ 37

Author(s):

Vineet Kahlon ◽

Nishant Sinha ◽

Erik Kruus ◽

Yun Zhang

Keyword(s):

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Static Data

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 ◽

Cited By ~ 5

Author(s):

Prasanth Chatarasi ◽

Jun Shirako ◽

Martin Kong ◽

Vivek Sarkar

Keyword(s):

Data Race ◽

Polyhedral Model ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Cited By ~ 4

Author(s):

Rui Chen ◽

Xiangying Guo ◽

Yonghao Duan ◽

Bin Gu ◽

Mengfei Yang

Keyword(s):

Embedded Software ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Cited By ~ 4

Author(s):

Chen Chen ◽

Kai Lu ◽

Xiaoping Wang ◽

Xu Zhou ◽

Li Fang

Keyword(s):

False Positives ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

Download Full-text

An Approach to Lightweight Static Data Race Detection

10.15514/syrcose-2014-8-4 ◽

2014 ◽

Cited By ~ 1

Author(s):

Pavel Andrianov ◽

Alexey Khoroshilov ◽

Vadim Mutilin

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Cited By ~ 4

Author(s):

Noriaki Yoshiura ◽

Wei Wei

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data ◽

Java Programs

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 ◽

Cited By ~ 2

Author(s):

Ping Wu

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

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 ◽

Cited By ~ 7

Author(s):

Vineet Kahlon ◽

Sriram Sankaranarayanan ◽

Aarti Gupta

Keyword(s):

Static Analysis ◽

Concurrent Programs ◽

Data Race ◽

Data Race Detection ◽

Race Detection

Download Full-text

SRD: Static Data Race Detection for Concurrent Programs

Fast and Accurate Static Data-Race Detection for Concurrent Programs

Static data race detection for concurrent programs with asynchronous calls

OpenMP aware MHP Analysis for Improved Static Data-Race Detection

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

Static Data Race Detection for Interrupt-Driven Embedded Software

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

An Approach to Lightweight Static Data Race Detection

Static Data Race Detection for Java Programs with Dynamic Class Loading

Static Data-Race Detection for Multithread Programs

Static analysis for concurrent programs with applications to data race detection

Export Citation Format