Delphine Demange

Registered user since Tue 18 Jun 2019

Name:Delphine Demange
Country:France
Affiliation:Univ Rennes, Inria, CNRS, IRISA
Research interests:Programming languages implementation, Compiler verification, Formal semantics, Program verification with interactive theorem provers

Contributions

CC 2023 Steering Committee Member in Steering Committee
CPP 2023 Author of Mechanised Semantics for Gated Static Single Assignment within the CPP 2023-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
CGO 2022 Committee Member in Program Committee within the Main Conference-track
CC 2022 PC Member in Program Committee within the CC Research Papers-track
Steering Committee Member in Steering Committee
CC 2021 Program Co-Chair in Organizing Committee
Session Chair of CC Closing (part of CC Research Papers)
Session Chair of CC Opening (part of CC Research Papers)
PLMW 2021 Panelist in Panelists within the PLMW 2021-track
Panelist of Panel: Doing Research in PL within the PLMW 2021-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
LCTES 2020 Author of Intermittent Computing with Peripherals, Formally Verified within the LCTES 2020-track
CC 2020 Committee Member in Program Committee within the Research Papers-track
CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
POPL 2017 ERC member in External Review Committee within the POPL-track
CPP 2017 Committee Member in Program Committee within the CPP-track
FTfJP 2016 Session Chair of Session 2 (part of FTfJP)
Committee Member in Program Committee within the FTfJP-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
Session Chair of Session 7 (part of ESOP)