conf.researchr.org / Pierre Wilke
Registered user since Tue 22 Jan 2019
Name:Pierre Wilke
Affiliation:CentraleSupélec
Personal website: http://pwilke.fr/pwilke-en.html
Research interests:Formal verification, Operating Systems, Compilation, Formal methods
Contributions
2020
SPLASH
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA Artifacts-track
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA-track
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the Posters-track