• Sign in
  • Sign up
conf.researchr.org / David Pichardie
  • CC 2017 profile
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ICFP 2016 profile
  • POPL 2016 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
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)

Share
xSun 11 Apr 04:01
using conf.researchr.org (v1.44.3)
Support page
Sign Up