Pierre Wilke -

Registered user since Tue 22 Jan 2019

Name:Pierre Wilke

Affiliation:CentraleSupélec

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