@misc{indiciaef4d7e13dbd0a,
  title = {Efficient Path-Sensitive Data-Dependence Analysis},
  author = {Peisen Yao and Jinguo Zhou and Xiao Xiao and Qingkai Shi and Rongxin Wu and Charles Zhang},
  year = {2021},
  url = {https://arxiv.org/abs/2109.07923},
  note = {Source identifier: 2109.07923}
}