Chantal Keller -

Registered user since Fri 17 Jun 2016

Name:Chantal Keller

Country:France

Affiliation:LMF - University Paris-Saclay

Personal website: https://usr.lmf.cnrs.fr/~ckeller/index-en.html

Research interests:Theorem proving

Contributions

2025

OlivierFest

Speaker of More than a Colleague: Celebrating Olivier’s Impact within the OlivierFest 2025-track
Programme Committee in Program Committee within the OlivierFest 2025-track
Author of Towards Metaprogramming Defunctionalization in Rocq within the OlivierFest 2025-track

PEPM

Committee Member in Program Committee Members within the PEPM 2025-track

2023

LOPSTR

Session Chair of Session III (part of LOPSTR 2023)

SPLASH

Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track

CPP

2022

SPLASH

Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track

2021

CPP

Author of A Coq Formalization of Data Provenance within the CPP 2021-track

2020

CoqPL

2019

TyDe

Committee Member in Program Committee within the TyDe 2019-track

CPP

Committee Member in Program Committee within the CPP 2019-track

2018

CoqPL

Committee Member in Program Committee within the -track

Off the Beaten Track

Committee Member in Program Committee within the Off the Beaten Track 2018-track

2017

POPL

ERC member in External Review Committee within the POPL-track

2016

POPL

Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track