MPI-checker: static analysis for MPI.
Alexander DrosteMichael KuhnThomas LudwigPublished in: LLVM@SC (2015)
Keyphrases
- static analysis
- dynamic analysis
- parallel algorithm
- message passing
- message passing interface
- parallel implementation
- parallelization strategy
- high performance computing
- general purpose
- shared memory
- java card
- parallel computing
- source code
- massively parallel
- symbolic execution
- test generation
- object oriented
- domain knowledge
- distributed memory
- parallel processing
- metadata
- parallel programming
- learning algorithm
- real world
- data sets