![](/img/cover-not-exists.png)
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Kasikci, Baris, Zamfir, Cristian, Candea, GeorgeVolume:
37
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/2734118
Date:
May, 2015
File:
PDF, 1.95 MB
english, 2015