VST-A: A Foundationally Sound Annotation Verifier. - Litao Zhou; Jianxing Qin; Qinshi Wang; Andrew W. Appel; Qinxiang Cao (Proc. ACM Program. Lang., 2024)

Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark. - Jianxing Qin; Alexander Du; Danfeng Zhang; Matthew Lentz; Danyang Zhuo (HotOS, 2025)

Phantora: Live GPU Cluster Simulation for Machine Learning System Performance Estimation. - Jianxing Qin; Jingrong Chen 002; Xinhao Kong; Yongji Wu; Liang Luo; Zhaodong Wang; Ying Zhang 022; Tingjun Chen; Alvin R. Lebeck; Danyang Zhuo (CoRR, 2025)