Efficient Race Detection with Futures

Robert Utterback, Kunal Agrawal, Jeremy Fineman +1

This paper addresses the problem of provably efficient and practically good on-the-fly determinacy race detection in task parallel programs that use futures. Prior works determinac…