Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited | IEEE Conference Publication | IEEE Xplore