SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
David Pichardie

Registered user since Mon 18 Jul 2016

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


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