@misc{indiciae4741061d610d,
  title = {Parf: Adaptive Parameter Refining for Abstract Interpretation},
  author = {Zhongyi Wang and Linyu Yang and Mingshuai Chen and Yixuan Bu and Zhiyang Li and Qiuye Wang and Shengchao Qin and Xiao Yi and Jianwei Yin},
  year = {2024},
  url = {https://arxiv.org/abs/2409.05794},
  note = {Source identifier: 2409.05794}
}