DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs

Download PDF
Open Webpage

Xinwei Fu, Dongyoon Lee, Changwoo Min

Published: 01 Jan 2022, Last Modified: 16 Apr 2025OSDI 2022EveryoneRevisionsBibTeXCC BY-SA 4.0