Low-level detection of language-level data races with LARD
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS ’14
Dan Grossman
Luis Ceze
Globally precise-restartable execution of parallel programs