• Sign in
  • Sign up
conf.researchr.org / Pierre-Evariste Dagand
  • APLAS 2020 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2018 profile
  • PPoPP 2018 profile
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

TyDe 2022 Committee Member in Program Committee within the TyDe 2022-track
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
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
PLDI 2019 Author of Usuba: High-Throughput and Constant-Time Ciphers, by Construction within the PLDI 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
TyDe 2017 Author of Type-directed diffing of structured data within the TyDe 2017-track
HOPE 2017 Committee Member in Program Committee within the HOPE 2017-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
TyDe 2016 Committee Member in Program Committee within the TyDe-track

Share
xSat 28 Jan 23:57
using conf.researchr.org (v1.58.0)
Support page
Sign Up