Describir: Making Parallel Programs Reliable with Stable Multithreading.