Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
S. Sharma‚ G. Gopalakrishnan and G. Bronevetsky
Book Title
High Performance Computing‚ Networking‚ Storage and Analysis (SCC)‚ 2012 SC Companion:
ISBN
978−1−4673−6218−4
Keywords
application program interfaces‚ bugs‚ deadlock presence prediction‚ dynamic verification‚ dynamic verification techniques‚ exponential interleaving explosion‚ formal dynamic analysis‚ MAAPED‚ message passing‚ message passing programs‚ messaging application analysis with predictive error discovery‚ MPI‚ MPI applications‚ MPI programs‚ nondeterministic communication match‚ nondeterministic communication operation‚ predictive dynamic analysis tool‚ program debugging‚ program testing‚ program verification‚ single program trace‚ specialized dynamic analysis method‚ system monitoring‚ testing tools
Month
nov
Pages
1425–1426
Year
2012