David Pichardie - POPL 2023

Registered user since Mon 18 Jul 2016

Name:David Pichardie

Country:France

Affiliation:Meta

Research interests:Machine-checked proofs, static analysis, programming languages, security

Contributions

POPL 2023	Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler Committee Member in Program Committee within the POPL-track Session Chair of Program Analysis & Parsing (part of POPL) Program Analysis & Parsing: Session Preview
Show activities from other conferences