• Sign in
  • Sign up
conf.researchr.org / Xiangzhe Xu
  • ASE 2020 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

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

ASE

  • Author of The Classification and Propagation of Program Comments within the Student Research Competition-track
Share
xWed 21 May 22:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up