David Pichardie -

Registered user since Mon 18 Jul 2016

Name:David Pichardie

Country:France

Affiliation:Univ Rennes, ENS Rennes, IRISA

Personal website:http://www.irisa.fr/celtique/pichardie/

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

Contributions

POPL 2021	Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track
SAS 2020	Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track Session Chair of 2 (part of SAS) Session Chair of 10 (part of SAS) General Co-Chair in Organizing Committee
CoqPL 2020	Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track
PriSC 2020	Author of A CompCert Compiler that Preserves Cryptographic Constant-time within the Principles of Secure Compilation 2020-track
POPL 2020	Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
CC 2017	Committee Member in Program Committee within the Research Papers-track
FTfJP 2016	Author of An Extended Buffered Memory Model With Full Reorderings within the FTfJP-track
ECOOP and ISSTA 2018	Mentor in Mentors within the Summer School-track
ICFP 2016	Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track
VMCAI	Session Chair of Abstraction II (part of VMCAI)