Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xianjin Fu
conf.researchr.org general profile
ASE 2023 profile
ICSE 2020 profile
ICSE 2025 profile
Registered user since Tue 15 Aug 2023
Name:
Xianjin Fu
Affiliation:
Ant Group
Contributions
2025
ICSE
Author of Datalog-Based Language-Agnostic Change Impact Analysis for Microservices within the Research Track-track
2023
ASE
Author of DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems within the Research Papers-track
2020
ICSE
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
Author of MPI-SV: A Symbolic Verifier for MPI Programs within the Demonstrations-track
Share
x
Fri 16 May 11:43
