Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes. - Xizao Wang; Xiangrong Bin; Lanxin Huang; Shangqing Liu; Jianhua Zhao; Lei Bu (ASE, 2025)

LLM-powered Datalog Code Translation and Incremental Program Analysis Framework. - Xizao Wang; Tianqi Shen; Xiangrong Bin; Lei Bu (Int. J. Softw. Informatics, 2025)