Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks.
Martin SulzmannKai StadtmüllerPublished in: CoRR (2018)
Keyphrases
- message passing
- dynamic analysis
- static analysis
- reverse engineering
- belief propagation
- distributed systems
- probabilistic inference
- distributed shared memory
- factor graphs
- shared memory
- sum product algorithm
- inference in graphical models
- sum product
- markov random field
- model checking
- approximate inference
- graphical models
- junction tree
- source code
- feature vectors