MPI-SV: a symbolic verifier for MPI programs.
Zhenbang ChenHengbiao YuXianjin FuJi WangPublished in: ICSE (Companion Volume) (2020)
Keyphrases
- parallel algorithm
- parallel implementation
- message passing
- high performance computing
- shared memory
- general purpose
- parallelization strategy
- parallel computing
- message passing interface
- massively parallel
- parallel programming
- high level
- distributed systems
- fine grained
- intermediate level
- data sets
- bayesian networks
- database systems
- decision trees
- social networks
- databases
- parallel computation
- distributed memory