Chantal Keller -

Registered user since Mon 18 Sep 2023

Name:Chantal Keller

Country:France

Affiliation:Université Paris Saclay

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

Contributions

2025

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

Committee Member in Program Committee within the CPP 2023-track