Stephen A. Edwards Nalini Vasudevan Olivier Tardieu Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. 1498-1503 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484886 conf/date/2008 db/conf/date/date2008.html#EdwardsVT08