Thread-Sensitive Pointer Analysis for Inter-Thread Dataflow Detection | IEEE Conference Publication | IEEE Xplore