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

Chen, Zhezhe, Gao, Qi, Zhang, Wenbin et al. (2010). FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking . 1-11. 10.1109/sc.2010.27

cited authors

  • Chen, Zhezhe; Gao, Qi; Zhang, Wenbin; Qin, Feng

authors

publication date

  • November 1, 2010

keywords

  • 46 Information and Computing Sciences
  • 4606 Distributed Computing and Systems Software
  • 4612 Software Engineering

Digital Object Identifier (DOI)

Conference

  • 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis

publisher

  • Institute of Electrical and Electronics Engineers (IEEE)

start page

  • 1

end page

  • 11