Xianjin Fu

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Message Passing

Conformant Planning

Parallel Algorithm

Test Generation

Top Venues

ICSE (Companion Volume)

Publications

Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. CoRR (2024)
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE (2023)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
Symbolic verification of message passing interface programs. ICSE (2020)
Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) (2020)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR (2018)
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
Poster: Symbolic Execution of MPI Programs. ICSE (2) (2015)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
MPISE: Symbolic Execution of MPI Programs. HASE (2015)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014 (2014)
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) (2014)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
MPISE: Symbolic Execution of MPI Programs. CoRR (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking CoRR (2013)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC (2013)
Xianjin Fu, Wanwei Liu, Jing Li
Approximating Quantified SMT-Solving with SAT. SSIRI (Companion) (2011)