Region and effect inference for safe parallelism

Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han. Region and effect inference for safe parallelism. Automated Software Engineering, 26(2):463-509, 2019. [doi]

Bibliographies