Correct and efficient work-stealing for weak memory models.

Nhat Minh L, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli

Browse the full PPoPP paper archive.