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

SPLASH 2020	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