Redflag: A Framework for Analysis of Kernel-Level Concurrency. - Justin Seyster; Prabakar Radhakrishnan; Samriti Katoch; Abhinav Duggal; Scott D. Stoller; Erez Zadok (ICA3PP (1), 2011)