Towards Deductive Verification of Message-Passing Parallel Programs.
Ziqing LuoStephen F. SiegelPublished in: CORRECTNESS@SC (2018)
Keyphrases
- message passing
- shared memory
- distributed shared memory
- belief propagation
- message passing interface
- distributed systems
- probabilistic inference
- distributed memory
- inference in graphical models
- factor graphs
- functional programs
- parallel computing
- approximate inference
- parallel programming
- parallel implementation
- parallel execution
- markov random field
- parallel computation
- parallel architectures
- matrix multiplication
- ldpc codes
- sum product algorithm
- parallel processing
- graphical models
- sum product