Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson
Modular reasoning for deterministic parallelism
POPL, 2011.
@inproceedings{POPL-2011-DoddsJP, author = "Mike Dodds and Suresh Jagannathan and Matthew J. Parkinson", booktitle = "{Proceedings of the 38th Symposium on Principles of Programming Languages}", doi = "10.1145/1926385.1926416", editor = "Thomas Ball and Mooly Sagiv", isbn = "978-1-4503-0490-0", pages = "259--270", publisher = "{ACM}", title = "{Modular reasoning for deterministic parallelism}", year = 2011, }