ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
OpenMP aware MHP Analysis for Improved Static Data-Race Detection
Mapping Intimacies
◽
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
Related Documents
Cited By
References
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
◽
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
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
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
◽
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
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
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
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
◽
Race Condition
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close