GPU-Accelerated Belief Propagation for Program Analysis

Haoyu Feng, Xin Zhang

Belief Propagation (BP) is a widely used approximate inference algorithm in probabilistic graphical models (PGMs), but is computationally expensive when applied to large-scale prog…