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

by S Nagarakatte, S Burckhardt, M M Martin, M Musuvathi
Venue:In PLDI,