Multicore acceleration of priority-based schedulers for concurrency bug detection

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi. Multicore acceleration of priority-based schedulers for concurrency bug detection. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 543-554, ACM, 2012. [doi]

@inproceedings{NagarakatteBMM12,
  title = {Multicore acceleration of priority-based schedulers for concurrency bug detection},
  author = {Santosh Nagarakatte and Sebastian Burckhardt and Milo M. K. Martin and Madanlal Musuvathi},
  year = {2012},
  doi = {10.1145/2254064.2254128},
  url = {http://doi.acm.org/10.1145/2254064.2254128},
  researchr = {https://researchr.org/publication/NagarakatteBMM12},
  cites = {0},
  citedby = {0},
  pages = {543-554},
  booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012},
  editor = {Jan Vitek and Haibo Lin and Frank Tip},
  publisher = {ACM},
  isbn = {978-1-4503-1205-9},
}