---
author:
- 
- 
bibliography:
- 'references.bib'
title: |
    An Operational Semantic Basis\
    for OpenMP Race Analysis
---

OpenMP; operational semantics; concurrency; formal definition; data race; data race detection tool; structured parallelism
