Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks.
Martin SulzmannKai StadtmüllerPublished in: PPDP (2018)
Keyphrases
- message passing
- dynamic analysis
- static analysis
- reverse engineering
- belief propagation
- distributed systems
- probabilistic inference
- factor graphs
- shared memory
- model checking
- sum product algorithm
- approximate inference
- inference in graphical models
- markov random field
- artificial intelligence
- distributed shared memory
- graph cuts
- graphical models
- source code
- database
- software engineering
- object oriented
- high quality