TY  - RPRT
TI  - GPU-Accelerated Belief Propagation for Program Analysis
AU  - Haoyu Feng
AU  - Xin Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2509.22337
ID  - 2509.22337
ER  -