Freeze after writing: Quasi-deterministic parallel programming with LVars (2014)

by L Kuper, A Turon, N R Krishnaswami, R R Newton
Venue:In Proc. POPL ’14