Microsoft Research
Microsoft Translator |
Modular reasoning for deterministic parallelism

Mike Dodds, Suresh Jagannathan, and Matthew J. Parkinson
2011

In  POPL

Details

TypeInproceedings
Pages259-270
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Modular reasoning for deterministic parallelism