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
ICSE 2026 profile
Registered user since Tue 15 Aug 2023
Name:
Xianjin Fu
Affiliation:
Ant Group
Contributions
2026
ICSE
Author of Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach within the SE In Practice (SEIP)-track
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
Wed 16 Sep 21:02