![](/img/cover-not-exists.png)
[IEEE 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) - Dallas, TX, USA (2018.11.12-2018.11.12)] 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) - Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free
Ye, Fangke, Schordan, Markus, Liao, Chunhua, Lin, Pei-Hung, Karlin, Ian, Sarkar, VivekYear:
2018
Language:
english
DOI:
10.1109/Correctness.2018.00010
File:
PDF, 38 KB
english, 2018