Acculock: Accurate and efficient detection of data races.

Xinwei Xie, Jingling Xue

Browse the full CGO paper archive.