Modular reasoning for deterministic parallelism (2011)

by Mike Dodds, Suresh Jagannathan, Matthew J Parkinson
Venue:In Thomas Ball and Mooly Sagiv, editors, POPL