Chantal Keller
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Assia Mahboubionce
- Avraham Shinnaronce
- Denis Cousineauonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Translating canonical SQL to imperative code in Coq | OOPSLA 2023 | 2023-10-23 |
A mechanically verified compiler named DBCert translates a canonical SQL subset with correlated queries and NULL semantics into an imperative language using… | ||
| Compositional pre-processing for automated reasoning in dependent type theory | CPP 2023 | 2023-01-16 |
Implements compositional, small-step goal transforms for Coq that systematically convert inductives, uninterpreted symbols and higher-order/dependent… | ||
| SMTCoq: Safe and Efficient Automation in Coq | CoqPL 2020 | 2020-01-25 |
Presenter: Chantal Keller
Presented at CoqPL'20, colocated with POPL 2020. | ||
| nothing matches | ||