Safe nondeterminism in a deterministic-by-default parallel language.

Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman

Browse the full POPL paper archive.