Enhanced Data Race Prediction Through Modular Reasoning

Zhendong Ang, Azadeh Farzan, Umang Mathur

There are two orthogonal methodologies for efficient prediction of data races from concurrent program runs: commutativity and prefix reasoning. There are several instances of each…