Race directed scheduling of concurrent programs.

Mahdi Eslamimehr, Jens Palsberg

Browse the full PPoPP paper archive.