Symbolic Analysis of Concurrency Errors in OpenMP Programs

  title={Symbolic Analysis of Concurrency Errors in OpenMP Programs},
  author={Hongyi Ma and Steve Diersen and Liqiang Wang and Chunhua Liao and Daniel J. Quinlan and Zijiang Yang},
  journal={2013 42nd International Conference on Parallel Processing},
In this paper we present the OpenMP Analysis Toolkit (OAT), which uses Satisfiability Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks in OpenMP codes. Our approach approximately simulates real executions of an OpenMP program through schedule permutation. We conducted experiments on real-world OpenMP benchmarks and… CONTINUE READING

4 Figures & Tables



Citations per Year

Citation Velocity: 11

Averaging 11 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.