David Pichardie

Registered user since Mon 18 Jul 2016

Name:David Pichardie
Country:France
Affiliation:Facebook Paris
Research interests:Machine-checked proofs, static analysis, programming languages, security

Contributions

VMCAI 2022 A Flow-Insensitive-Complete Program Representation
PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
Show activities from other conferences

POPL 2022-profile
View general profile