Future-based Static Analysis of Message Passing Programs.
Wytse OortwijnStefan BlomMarieke HuismanPublished in: PLACES (2016)
Keyphrases
- message passing
- static analysis
- symbolic execution
- dynamic analysis
- belief propagation
- abstract interpretation
- source code
- distributed systems
- probabilistic inference
- approximate inference
- shared memory
- factor graphs
- test generation
- inference in graphical models
- regular expressions
- distributed shared memory
- sum product algorithm
- graphical models
- markov random field
- databases
- higher order
- reverse engineering
- open source
- image processing