Facilitating Bug Detection for OpenMP Offloading Applications | IEEE Conference Publication | IEEE Xplore