conf.researchr.org / Pierre-Evariste Dagand
Pierre-Evariste Dagand

Registered user since Sun 5 Mar 2017

Name: Pierre-Evariste Dagand

Country: France

Affiliation: LIP6/CNRS

Personal website: https://pages.lip6.fr/Pierre-Evariste.Dagand/#contact

Contributions

APLAS 2020Committee Member in Program Committee
Haskell 2020Committee Member in Program Committee within the Haskell 2020-track
LCTES 2020Author of Intermittent Computing with Peripherals, Formally Verified within the LCTES 2020-track
PLDI 2019Author of Usuba: High-Throughput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track
ICFP 2019Committee Member in Program Committee within the Research Papers-track
WPMVP 2018Author of Usuba, Optimizing & Trustworthy Bitslicing Compiler within the WPMVP 2018-track
PriSC 2018Author of Foundations of Dependent Interoperability within the PriSC 2018-track
HOPE 2017Committee Member in Program Committee within the HOPE 2017-track
TyDe 2017Author of Type-directed diffing of structured data within the TyDe 2017-track
TyDe 2016Committee Member in Program Committee within the TyDe-track
PLDI 2017Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track
ICFP 2016Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track