A Formal Semantics of C with OpenMP Parallelism (Extended Version)

Ke Du, Anshu Sharma, Liyi Li +1

OpenMP is a popular parallelization framework that lets users transform sequential code into parallel code with a few simple annotations. Unfortunately, it is also easy to inadvert…