Effective pattern-driven concurrency bug detection for operating systems

► We identified characteristics of concurrency bugs in Linux kernel by reviewing ChangeLog bug reports. ► We developed a pattern-driven COncurrency Bug dETector (COBET) that utilizes composite bug patterns with semantic conditions to detect complex bugs. ► TWe defined four concurrency bug patterns and detected ten new bugs in Linux kernel.