Xinwei Fu, Dongyoon Lee, Changwoo Min. DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. In Marcos K. Aguilera, Hakim Weatherspoon, editors, 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 195-211, USENIX Association, 2022. [doi]
@inproceedings{FuLM22,
title = {DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs},
author = {Xinwei Fu and Dongyoon Lee and Changwoo Min},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/fu},
researchr = {https://researchr.org/publication/FuLM22},
cites = {0},
citedby = {0},
pages = {195-211},
booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022},
editor = {Marcos K. Aguilera and Hakim Weatherspoon},
publisher = {USENIX Association},
isbn = {978-1-939133-28-1},
}