Lazy Diagnosis of In-Production Concurrency Bugs.

Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu

Browse the full SOSP paper archive.