Not registered as user yet
Name:Xiangzhe Xu
Affiliation:Nanjing University
Contributions
2020
SPLASH
- CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
- Session Chair of M-5 (part of OOPSLA)
- Session Chair of R-3 (part of OOPSLA)
- CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
- CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
SPLASH 2020-profile
View general profile
View general profile