data race detection
Recently Published Documents

TOTAL DOCUMENTS

128
(FIVE YEARS 6)

H-INDEX

17
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals OpenMP aware MHP Analysis for Improved Static Data-Race Detection

2021 ◽  
Author(s):  
Utpal Bora ◽  
Shraiysh Vaishay ◽  
Saurabh Joshi ◽  
Ramakrishna Upadrasta
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Static Data

Understanding the Performance of Dynamic Data Race Detection

2021 ◽  
Author(s):  
Joachim Protze ◽  
Isabel Tharigen ◽  
Jonas Wahle
Keyword(s):  
Data Race ◽  
Dynamic Data ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection

2021 ◽  
Vol 11 (4) ◽  
pp. 405-428
Author(s):  
Zongyin Hao ◽  
◽  
Faming Lu
Keyword(s):  
Petri Nets ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Program Data

Hardware-Assisted Online Data Race Detection

2021 ◽  
pp. 108-126
Author(s):  
Faustin Ahishakiye ◽  
José Ignacio Requeno Jarabo ◽  
Violet Ka I Pun ◽  
Volker Stolz
Keyword(s):  
Data Race ◽  
Online Data ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Context-Sensitive Data Race Detection for Concurrent Programs

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 20861-20867
Author(s):  
Yang Zhang ◽  
Huan Liu ◽  
Liu Qiao
Keyword(s):  
Concurrent Programs ◽  
Data Race ◽  
Sensitive Data ◽  
Data Race Detection ◽  
Context Sensitive ◽  
Race Detection

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

2020 ◽  
Author(s):  
Gaurav Verma ◽  
Yaying Shi ◽  
Chunhua Liao ◽  
Barbara Chapman ◽  
Yonghong Yan
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection

Approach to Data Race Detection Based on Petri Nets with Additional Semantic Relations

2020 ELEKTRO ◽  
2020 ◽  
Author(s):  
Alexey N. Ivutin ◽  
Anna G. Voloshko ◽  
Viktor N. Izotov
Keyword(s):  
Petri Nets ◽  
Semantic Relations ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection

On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph

2020 ◽  
pp. 149-164
Author(s):  
Nader Boushehrinejadmoradi ◽  
Adarsh Yoga ◽  
Santosh Nagarakatte
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Parallel Graph
Load More ...
Sign in / Sign up

Export Citation Format

Share Document