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]
Abstract is missing.