PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis. - Zhong-Yi Wang 004; Mingshuai Chen; Tengjie Lin; Linyu Yang; Junhao Zhuo; Qiuye Wang; Shengchao Qin; Xiao Yi; Jianwei Yin (CoRR, 2025)

Preguss: It Analyzes, It Specifies, It Verifies. - Zhongyi Wang 004; Tengjie Lin; Mingshuai Chen; Mingqi Yang; Haokun Li; Xiao Yi; Shengchao Qin; Jianwei Yin (CoRR, 2025)