Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU | IEEE Conference Publication | IEEE Xplore