Symbolic Analysis of Concurrency Errors in OpenMP Programs

@article{Ma2013SymbolicAO,
  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},
  year={2013},
  pages={510-516}
}
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

Topics

Statistics

01020201620172018
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.