Multicore acceleration of priority-based schedulers for concurrency bug detection.

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi

Browse the full PLDI paper archive.