Xianjin Fu

According to our database, Xianjin Fu authored at least 12 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, 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

CoRR, 2024

2023

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2020

Symbolic verification of message passing interface programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MPI-SV: a symbolic verifier for MPI programs.

Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang

CoRR, 2018

2015

Poster: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MPISE: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Counterexample-Preserving Reduction for Symbolic Model Checking.

Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

J. Appl. Math., 2014

MPISE: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang

CoRR, 2014

Synchronization Error Detection of MPI Programs by Symbolic Execution.

Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Counterexample-Preserving Reduction for Symbolic Model Checking.

Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2011

Approximating Quantified SMT-Solving with SAT.

Xianjin Fu, Wanwei Liu, Jing Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011