@misc{indiciae9480203a7b25,
  title = {A Formal Semantics of C with OpenMP Parallelism (Extended Version)},
  author = {Ke Du and Anshu Sharma and Liyi Li and William Mansky},
  year = {2026},
  url = {https://arxiv.org/abs/2605.26527},
  note = {Source identifier: 2605.26527}
}