Greg Bronevetsky

Latest

• MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
• A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications