Automated Classification of Data Races Under Both Strong and Weak Memory Models

Baris Kasikci, Cristian Zamfir, George Candea. Automated Classification of Data Races Under Both Strong and Weak Memory Models. ACM Transactions on Programming Languages and Systems, 37(3):8, 2015. [doi]

Bibliographies