Login / Signup

An Operational Semantic Basis for Building an OpenMP Data Race Checker.

Simone AtzeniGanesh Gopalakrishnan
Published in: IPDPS Workshops (2018)
Keyphrases