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)

HORAE: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation. - Yutao Sun; Mingshuai Chen; Kangjia Zhao; He Li; Jintao Chen; Linyu Yang; Zhongyi Wang 004; Tiancheng Zhao; Jianwei Yin (CoRR, 2024)

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)