Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading