Scalable Thread-Modular Approach for Data Race Detection

Pavel Andrianov, Vadim S. Mutilin. Scalable Thread-Modular Approach for Data Race Detection. In Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer 0001, Alexandr Naumchev, Andrey Sadovykh, editors, Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Volume 12271 of Lecture Notes in Computer Science, pages 371-385, Springer, 2019. [doi]

Abstract

Abstract is missing.