@inproceedings{seyster11redflag,
author="Justin Seyster and Prabakar Radhakrishnan and Samriti Katoch and 
        Abhinav Duggal and Scott D. Stoller and Erez Zadok",
title="Redflag: A Framework for Analysis of Kernel-Level Concurrency",
booktitle="Proceedings of the 11th International Conference on Algorithms 
           and Architectures for Parallel Processing (ICA3PP 2011)",
series="Lecture Notes in Computer Science",
publisher="Springer",
year=2011,
}