Finding complex concurrency bugs in large multi-threaded applications.

Pedro Fonseca, Cheng Li, Rodrigo Rodrigues

Browse the full EuroSys paper archive.