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

TitleDURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
Publication TypeConference Paper
Year of Publication2022
AuthorsFu X, Lee D, Min C
Conference Name16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)
Date Published07/2022
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-28-1
URLhttps://www.usenix.org/conference/osdi22/presentation/fu