@inproceedings{Kokologiannakis2019:genmc,
 author = {Kokologiannakis, Michalis and Raad, Azalea and Vafeiadis, Viktor},
 title = {Model Checking for Weakly Consistent Libraries},
 booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2019},
 year = {2019},
 numpages = {15},
 doi = {10.1145/3314221.3314609},
 publisher = {ACM},
 address = {New York, NY, USA},
}