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]
Abstract is missing.