Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pierre-Evariste Dagand
conf.researchr.org general profile
APLAS 2020 profile
APLAS 2024 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
PPoPP 2018 profile
SPLASH 2023 profile
Registered user since Sun 5 Mar 2017
Name:
Pierre-Evariste Dagand
Country:
France
Affiliation:
IRIF / CNRS
Personal website:
http://evr.ist
Contributions
2024
LCTES
Programme Committee in Program Committee within the LCTES-track
APLAS
Author of Random-access lists, from EE to FP within the Research Papers-track
Session Chair of Type theory and Semantic Frameworks II (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
2023
PPDP
Author of 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? within the PPDP 2023-track
TyDe
Session Chair of TyDe: Welcome & Keynote (part of TyDe 2023)
Author of Welcome within the TyDe 2023-track
Program Co-Chair in Organization Committee within the TyDe 2023-track
2022
TyDe
Committee Member in Program Committee within the TyDe 2022-track
2021
LCTES
France in Program Committee within the LCTES 2021-track
2020
APLAS
Committee Member in Program Committee
Haskell
Session Chair of Paper Session 4 - Effects (part of Haskell 2020)
Committee Member in Program Committee within the Haskell 2020-track
LCTES
Author of Intermittent Computing with Peripherals, Formally Verified within the LCTES 2020-track
2019
ICFP
Committee Member in Program Committee within the Research Papers-track
PLDI
Author of Usuba: High-Throughput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track
2018
WPMVP
Author of Usuba, Optimizing & Trustworthy Bitslicing Compiler within the WPMVP 2018-track
PriSC
Author of Foundations of Dependent Interoperability within the PriSC 2018-track
2017
TyDe
Author of Type-directed diffing of structured data within the TyDe 2017-track
HOPE
Committee Member in Program Committee within the HOPE 2017-track
PLDI
Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track
2016
ICFP
Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track
TyDe
Committee Member in Program Committee within the TyDe-track
Share
x
Thu 21 Nov 14:03
