Freeze after writing: quasi-deterministic parallel programming with LVars.

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Browse the full POPL paper archive.