Peizhao Ou, Brian Demsky
AutoMO: automatic inference of memory order parameters for C/C++11
OOPSLA, 2015.
@inproceedings{OOPSLA-2015-OuD,
author = "Peizhao Ou and Brian Demsky",
booktitle = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/2814270.2814286",
isbn = "978-1-4503-3689-5",
pages = "221--240",
publisher = "{ACM}",
title = "{AutoMO: automatic inference of memory order parameters for C/C++11}",
year = 2015,
}











