Chantal Keller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2010–2023
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CPP | Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. | Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial |
| 2023 | LPAR | An Interactive SMT Tactic in Coq using Abductive Reasoning. | Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
| 2021 | CPP | A Coq formalization of data provenance. | Vronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rbecca Zucchini |
| 2018 | ITP | A Coq Formalisation of SQL's Execution Engines. | Vronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins |
| 2018 | TAP | Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. | Chantal Keller |
| 2017 | CAV | SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. | Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2014 | CADE | Beagle as a HOL4 external ATP method. | Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish |
| 2013 | CADE | Extended Resolution as Certificates for Propositional Logic. | Chantal Keller |
| 2012 | CSL | Parametricity in an Impredicative Sort. | Chantal Keller, Marc Lasson |
| 2011 | CPP | A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. | Michal Armand, Germain Faure, Benjamin Grgoire, Chantal Keller, Laurent Thry, Benjamin Werner |
| 2010 | ICFP | Hereditary Substitutions for Simple Types, Formalized. | Chantal Keller, Thorsten Altenkirch |
| 2010 | ITP | Importing HOL Light into Coq. | Chantal Keller, Benjamin Werner |