Thread-Sensitive Pointer Analysis for Inter-Thread Dataflow Detection. - Qian, Ju; Xu, Baowen (2007)