SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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

SAS 2021 Verified Functional Programming of an Abstract Interpreter
Session Chair of Session 3C (part of SAS)
Show activities from other conferences

SPLASH 2021-profile
View general profile