Redflag: A Framework for Analysis of Kernel-Level Concurrency

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]

Authors

Justin Seyster

This author has not been identified. Look up 'Justin Seyster' in Google

Prabakar Radhakrishnan

This author has not been identified. Look up 'Prabakar Radhakrishnan' in Google

Samriti Katoch

This author has not been identified. Look up 'Samriti Katoch' in Google

Abhinav Duggal

This author has not been identified. Look up 'Abhinav Duggal' in Google

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google

Erez Zadok

This author has not been identified. Look up 'Erez Zadok' in Google