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]
No references recorded for this publication.
No citations of this publication recorded.