Chantal Keller -

Registered user since Fri 17 Jun 2016

Name:Chantal Keller

Country:France

Affiliation:LRI, Université Paris-Sud

Personal website: https://www.lri.fr/~keller/index-en.html

Research interests:Theorem proving

Contributions

2023

CPP

Author of Compositional pre-processing for automated reasoning in dependent type theory within the CPP 2023-track

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