Efficient Parallel Determinacy Race Detection for Structured Futures.

Yifan Xu, Kunal Agrawal, I-Ting Angelina Lee

Browse the full SPAA paper archive.