Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs.
Lechen YuFeiyang JinJoachim ProtzeVivek SarkarPublished in: Correctness@SC (2022)
Keyphrases
- data sets
- synthetic data
- data collection
- data processing
- high quality
- data mining techniques
- input data
- raw data
- data distribution
- database
- knowledge discovery
- data analysis
- training data
- data points
- computer systems
- detection algorithm
- detection method
- bayesian networks
- database systems
- graph structure
- prolog programs