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

Xinwei Fu, Dongyoon Lee, Changwoo Min

Browse the full OSDI paper archive.