Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok. Redflag: A Framework for Analysis of Kernel-Level Concurrency. In Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou, editors, Algorithms and Architectures for Parallel Processing - 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I. Volume 7016 of Lecture Notes in Computer Science, pages 66-79, Springer, 2011. [doi]
@inproceedings{SeysterRKDSZ11, title = {Redflag: A Framework for Analysis of Kernel-Level Concurrency}, author = {Justin Seyster and Prabakar Radhakrishnan and Samriti Katoch and Abhinav Duggal and Scott D. Stoller and Erez Zadok}, year = {2011}, doi = {10.1007/978-3-642-24650-0_7}, url = {http://dx.doi.org/10.1007/978-3-642-24650-0_7}, researchr = {https://researchr.org/publication/SeysterRKDSZ11}, cites = {0}, citedby = {0}, pages = {66-79}, booktitle = {Algorithms and Architectures for Parallel Processing - 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I}, editor = {Yang Xiang and Alfredo Cuzzocrea and Michael Hobbs and Wanlei Zhou}, volume = {7016}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-24649-4}, }