Slide 1 Towards Tractability of Dataflow Analysis for Concurrent Programs Vineet Kahlon NEC Labs, Princeton, USA Slide 2 Sequential Dataflow Analysis Program Design Debugging…