Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Effective lock handling in stateless model checking
OOPSLA, 2019.
@article{OOPSLA-2019-Kokologiannakis,
author = "Michalis Kokologiannakis and Azalea Raad and Viktor Vafeiadis",
doi = "10.1145/3360599",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "26",
publisher = "{ACM}",
title = "{Effective lock handling in stateless model checking}",
volume = 3,
year = 2019,
}