Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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 2021Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the Research Papers-track
Show activities from other conferences

Using general profile