Towards compiler-aided correctness checking of adjoint MPI applications.
Alexander HückJoachim ProtzeJan-Patrick LehrChristian TerbovenChristian H. BischofMatthias S. MüllerPublished in: CORRECTNESS@SC (2020)
Keyphrases
- general purpose
- parallel programming
- optimal control
- programming language
- parallel implementation
- parallel algorithm
- message passing
- shared memory
- software systems
- message passing interface
- parallelization strategy
- real time
- code generation
- high performance computing
- parallel computing
- data sets
- consistency checking
- distributed systems
- java virtual machine
- provably correct
- neural network