Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xianjin Fu
conf.researchr.org general profile
ASE 2023 profile
ICSE 2020 profile
Registered user since Tue 15 Aug 2023
Name:
Xianjin Fu
Affiliation:
Ant Group
Contributions
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 18 Dec 16:06