Delphine Demange -

Registered user since Tue 18 Jun 2019

Name:Delphine Demange

Country:France

Affiliation:Univ Rennes, Inria, CNRS, IRISA

Personal website:http://people.irisa.fr/Delphine.Demange/

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)