= Introduction of paper: Communication-Sensitive Static Dataflow for Parallel Message Passing Applications=

This paper proposes a framework to perform dataflow analysis on message passing applications for an arbitrary number
of processes on a parallel control flow graph (pCFG).