Verifying message-passing programs with dependent behavioural types.
Alceste ScalasNobuko YoshidaElias BenussiPublished in: PLDI (2019)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- shared memory
- markov random field
- distributed shared memory
- factor graphs
- graphical models
- sum product
- inference in graphical models
- approximate inference
- matrix multiplication
- sum product algorithm
- energy minimization
- stereo matching
- multi view
- high quality