Modular data-race-freedom guarantees in the promising semantics.

Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav

Browse the full PLDI paper archive.