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

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