Approximating Quantified SMT-Solving with SAT. - Xianjin Fu; Wanwei Liu; Jing Li (SSIRI (Companion), 2011)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 017; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (ICTAC, 2013)

Synchronization Error Detection of MPI Programs by Symbolic Execution. - Xianjin Fu; Zhenbang Chen; Chun Huang; Wei Dong 006; Ji Wang 001 (APSEC (1), 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Yufeng Zhang 001; Chun Huang; Ji Wang 001 (CoRR, 2014)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 019; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (J. Appl. Math., 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Yufeng Zhang 001; Chun Huang; Wei Dong 006; Ji Wang 001 (HASE, 2015)

Poster: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Hengbiao Yu; Chun Huang; Wei Dong 006; Ji Wang 001 (ICSE (2), 2015)

Combining Symbolic Execution and Model Checking to Verify MPI Programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Wei Dong 006; Chun Huang (CoRR, 2018)

MPI-SV: a symbolic verifier for MPI programs. - Zhenbang Chen; Hengbiao Yu; Xianjin Fu; Ji Wang 001 (ICSE (Companion Volume), 2020)

Symbolic verification of message passing interface programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Jun Sun 001; Chun Huang; Wei Dong 006 (ICSE, 2020)

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. - Wensheng Tang; Chengpeng Wang 001; Peisen Yao; Rongxin Wu; Xianjin Fu; Gang Fan; Charles Zhang 001 (ASE, 2023)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. - Xiaoheng Xie; Gang Fan; Xiaojun Lin; Ang Zhou; Shijie Li; Xunjin Zheng; Yinan Liang; Yu Zhang 036; Na Yu; Haokun Li; Xinyu Chen; Yingzhuang Chen; et al. (CoRR, 2024)

Datalog-Based Language-Agnostic Change Impact Analysis for Microservices. - Qingkai Shi; Xiaoheng Xie; Xianjin Fu; Peng Di; Huawei Li; Ang Zhou; Gang Fan (ICSE, 2025)