conf.researchr.org / Xiangzhe Xu
Not registered as user yet
Name:Xiangzhe Xu
Affiliation:Nanjing University
Contributions
2020
SPLASH
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA-track
- Session Chair of M-5 (part of OOPSLA)
- Session Chair of R-3 (part of OOPSLA)
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the Posters-track
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA Artifacts-track