Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.
Matthew J. SottileJason DagitDeli ZhangGilbert HendryDamian DechevPublished in: ACM Trans. Model. Comput. Simul. (2015)
Keyphrases
- static analysis
- message passing
- semi automatic
- source code
- dynamic analysis
- belief propagation
- distributed shared memory
- shared memory
- distributed systems
- probabilistic inference
- inference in graphical models
- sum product algorithm
- factor graphs
- regular expressions
- approximate inference
- markov random field
- test suite
- abstract interpretation
- graphical models
- sum product
- data sets
- integrity constraints
- domain ontology
- preprocessing