Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
Optimal stateless model checking for reads-from equivalence under sequential consistency
OOPSLA, 2019.
@article{OOPSLA-2019-AbdullaAJLNS,
author = "Parosh Aziz Abdulla and Mohamed Faouzi Atig and Bengt Jonsson and Magnus Lång and Tuan Phong Ngo and Konstantinos Sagonas",
doi = "10.1145/3360576",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "29",
publisher = "{ACM}",
title = "{Optimal stateless model checking for reads-from equivalence under sequential consistency}",
volume = 3,
year = 2019,
}