Symbolic Analysis of Concurrency Errors in OpenMP Programs.

Hongyi Ma, Steve Diersen, Liqiang Wang, Chunhua Liao, Daniel J. Quinlan, Zijiang Yang

Browse the full ICPP paper archive.