Parf: Adaptive Parameter Refining for Abstract Interpretation. - Zhongyi Wang 004; Linyu Yang; Mingshuai Chen; Yixuan Bu; Zhiyang Li; Qiuye Wang; Shengchao Qin; Xiao Yi; Jianwei Yin (ASE, 2024)