Chantal Keller

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 15

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. CPP (2023)
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett
An Interactive SMT Tactic in Coq using Abductive Reasoning. LPAR (2023)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Modular pre-processing for automated reasoning in dependent type theory. CoRR (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini
A Coq formalization of data provenance. CPP (2021)
Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial
General Automation in Coq through Modular Transformations. PxTP (2021)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
On the Semantics of Polychronous Polytimed Specifications. FORMATS (2020)
Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins
A Coq Formalisation of SQL's Execution Engines. ITP (2018)
Chantal Keller
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. TAP@STAF (2018)
Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. CAV (2) (2017)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS (2017)
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). HaTT@IJCAR (2016)
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin
Dependent types and multi-monadic effects in F. POPL (2016)
Cédric Fournet, Chantal Keller, Vincent Laporte
A Certified Compiler for Verifiable Computing. CSF (2016)
Olivier Danvy, Chantal Keller, Matthias Puech
Typeful Normalization by Evaluation. TYPES (2014)
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
Beagle as a HOL4 external ATP method. PAAR@IJCAR (2014)
Chantal Keller
Extended Resolution as Certificates for Propositional Logic. PxTP@CADE (2013)
Chantal Keller, Marc Lasson
Parametricity in an Impredicative Sort CoRR (2012)
Chantal Keller, Jérémy Bluteau, Renaud Blanch, Sabine Coquillart
Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More Tangible. ITS (2012)
Chantal Keller, Marc Lasson
The Refined Calculus of Inductive Construction: Parametricity and Abstraction CoRR (2012)
Chantal Keller, Marc Lasson
Parametricity in an Impredicative Sort. CSL (2012)
Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CPP (2011)
Chantal Keller, Thorsten Altenkirch
Hereditary Substitutions for Simple Types, Formalized. MSFP@ICFP (2010)
Chantal Keller, Benjamin Werner
Importing HOL Light into Coq. ITP (2010)

Chantal Keller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chantal Keller