Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading
Our accelerating computational demand and the rise of multicore hardware
have made parallel programs, especially shared-memory multithreaded
programs, increasingly pervasive and critical.