Kokologiannakis, M., Lahav, O., Sagonas, K., & Vafeiadis, V. (2018). Effective Stateless Model Checking for C/C++ Concurrency. Proceedings of the ACM on Programming Languages, 2(POPL): 17, pp. 1-32. doi:10.1145/3158105.