Protocol-based verification of message-passing parallel programs.
Hugo A. LópezEduardo R. B. MarquesFrancisco MartinsNicholas NgCésar SantosVasco Thudichum VasconcelosNobuko YoshidaPublished in: OOPSLA (2015)
Keyphrases
- message passing
- shared memory
- distributed shared memory
- message passing interface
- belief propagation
- distributed systems
- cryptographic protocols
- protocol specification
- probabilistic inference
- distributed memory
- interconnection networks
- inference in graphical models
- sum product algorithm
- parallel computing
- approximate inference
- factor graphs
- graphical models
- markov random field
- parallel programming
- parallel execution
- parallel processing
- model checking
- junction tree
- parallel architectures
- ldpc codes
- higher order
- post processing
- probabilistic model