Xianjin Fu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Datalog-Based Language-Agnostic Change Impact Analysis for Microservices. | Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li, Ang Zhou, Gang Fan |
| 2020 | ICSE | MPI-SV: a symbolic verifier for MPI programs. | Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2015 | ICSE | Poster: Symbolic Execution of MPI Programs. | Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang |
| 2014 | APSEC | Synchronization Error Detection of MPI Programs by Symbolic Execution. | Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang |
| 2013 | ICTAC | Counterexample-Preserving Reduction for Symbolic Model Checking. | Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao |