HPC programs written using the MPI standard are notoriously hard. ParFuse is a static analysis framework to understand the possible communication behaviors and the properties that depend on the communication behaviors. ParFuse builds on the compositional principles of the FUSE analyis framework that performs a parallel static analysis and gathers communication properties of message passing programs. ParFuse implements abstractions for various MPI semantics and enables MPI-agnostic analyses to be MPI aware by composition with the MPI analyses that implements the MPI abstractions.


ParFuse is implemented as a part of the ROSE compiler infrastructure. It can be cloned from the github url:


  • ParFuse: Parallel and Compositional Analysis of Message Passing Programs , Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski and Ganesh Gopalakrishnan, LCPC 2016