Belief Propagation with Local Structure and Its Applications in Program Analysis

@inproceedings{ASE25,
  author = {Yiqian Wu and Yifan Chen and Yingfei Xiong and Xin Zhang},
  title = {Belief Propagation with Local Structure and Its Applications in Program Analysis},
  year = {2025},
  month = {11},
  booktitle = {ASE'25: 40th IEEE/ACM International Conference on Automated Software Engineering},
  site_corr = {4}
}