Yair Sade, Shmuel Sagiv, Ran Shaham: Optimizing C Multithreaded Memory Management Using Thread-Local Storage. CC 2005: 137-155