Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar. Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. In 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018. pages 42-50, IEEE, 2018. [doi]
Abstract is missing.