Localizing globals and statics to make C programs thread-safe. - Adam R. Smith; Prasad A. Kulkarni (CASES, 2011)