Defines formal semantics for C with OpenMP directives extending CompCert, with a guarantee that successful executions are race-free.
In: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
1 Pith paper cite this work, alongside 6 external citations. Polarity classification is still indexing.
1
Pith paper citing it
6
external citations · external index
fields
cs.DC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Formal Semantics of C with OpenMP Parallelism (Extended Version)
Defines formal semantics for C with OpenMP directives extending CompCert, with a guarantee that successful executions are race-free.