Region and effect inference for safe parallelism. - Tzannes, Alexandros; Heumann, Stephen T.; Eloussi, Lamyaa; Vakilian, Mohsen; Adve, Vikram S.; Han, Michael (Automated Software Engineering, 2019)