Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jinhua Wu
conf.researchr.org general profile
APLAS 2023 profile
POPL 2024 profile
SPLASH 2024 profile
Registered user since Wed 25 Oct 2023
Name:
Jinhua Wu
Country:
China
Affiliation:
Shanghai Jiao Tong University
Contributions
2024
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
POPL
Author of Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules within the POPL-track
2023
APLAS
Author of Towards a Framework for Developing Verified Assemblers for the ELF Format within the APLAS 2023-track
Share
x
Sun 26 Oct 19:53