A type and effect system for determinism in multithreaded programs (2012)

by Y Lu, J Potter, C Zhang, J Xue
Venue:In ESOP