6 citations · 14 across the 6 of their papers we have counts for
1 paper · 1 filter
Junhyung Shim, Quazi Ishtiaque Mahmud, Ali Jannesari
Detection of data races is one of the most important tasks for verifying the correctness of OpenMP parallel codes. Two main models of analysis tools have been proposed for detectin…