@INPROCEEDINGS{ica3pp11redflag,
  AUTHOR =       "J. Seyster and P. Radhakrishnan and S. Katoch and A. Duggal and S. D. Stoller and E. Zadok",
  TITLE =        "Redflag: A framework for analysis of kernel-level concurrency",
  BOOKTITLE =    "Proc. of the 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11)",
  YEAR =         "2011",
  MONTH =        "October",
  ADDRESS =      "Melbourne, Australia",
}