Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson 0001, Shankaranarayanan Krishna, Om Swostik Mishra. Efficient Linearizability Monitoring. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1937-1960, 2025. [doi]
@article{AbdullaGJKM25,
title = {Efficient Linearizability Monitoring},
author = {Parosh Aziz Abdulla and Samuel Grahn and Bengt Jonsson 0001 and Shankaranarayanan Krishna and Om Swostik Mishra},
year = {2025},
doi = {10.1145/3729328},
url = {https://doi.org/10.1145/3729328},
researchr = {https://researchr.org/publication/AbdullaGJKM25},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {9},
number = {OOPSLA1},
pages = {1937-1960},
}