LockDoc: Trace-Based Analysis of Locking in the Linux Kernel.

Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk

Browse the full EuroSys paper archive.