FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking.

Zhezhe Chen Qi Gao Wenbin Zhang Feng Qin

Published in: SC (2010)

Keyphrases

email
bug localization
digital libraries
parallel implementation
parallelization strategy
neural network
source code
flow patterns
multimedia
general purpose
parallel algorithm
high performance computing
bug fix
metadata
shared memory
parallel computing