• Sign in
  • Sign up
conf.researchr.org / Pierre Wilke
  • SPLASH 2020 profile

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

Share
xSun 7 Mar 15:50
using conf.researchr.org (v1.43.2)
Support page
Sign Up