Subjective auxiliary state for coarse-grained concurrency.

Ruy Ley-Wild, Aleksandar Nanevski

Browse the full POPL paper archive.