Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.
Jules JacobsJonas Kastberg HinrichsenRobbert KrebbersPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- message passing
- higher order
- deadlock free
- markov random field
- belief propagation
- concurrency control
- distributed systems
- probabilistic inference
- pairwise
- shared memory
- approximate inference
- logic programming
- inference in graphical models
- routing algorithm
- sum product algorithm
- transaction processing
- factor graphs
- distributed shared memory
- graphical models
- computer vision
- similarity measure