workshop

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

Among the most common and hardest to debug types of bugs in concurrent systems are data races. In this paper, we present an approach …

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