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, }