Modular reasoning for deterministic parallelism.

Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson

Browse the full POPL paper archive.