Speculative synchronization: programmability and performance for parallel codes | IEEE Journals & Magazine | IEEE Xplore