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).