@inproceedings{DBLP:conf/popl/LidburyD17,
author = {Christopher Lidbury and
Alastair F. Donaldson},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Dynamic race detection for {C++11}},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017},
pages = {443-457},
publisher = {{ACM}},
year = {2017},
doi = {10.1145/3009837.3009857},
}