Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures
Scheduling multithreaded computations by work stealing