Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.

Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar

Browse the full SC paper archive.