OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.

Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall

Browse the full EuroSys paper archive.