Redflag: A Framework for Analysis of Kernel-Level Concurrency.

Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok

Browse the full ICA3PP paper archive.