1 paper
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for suc…