From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm. - Jean-Loup Carre; Charles Hymans (CoRR, 2009)