Accéder directement au contenu

Guillaume Bertholon

3
Documents
Affiliations actuelles
  • 233382
Site web
  • https://www.eleves.ens.fr/home/gbertholon/

Publications

Image document

Source-to-Source Optimizations Validated using Separation Logic

Guillaume Bertholon , Arthur Charguéraud , Thomas Koehler
35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès hal-04406229v1
Image document

An AST for Representing Programs with Invariants and Proofs

Guillaume Bertholon , Arthur Charguéraud
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.43-58
Communication dans un congrès hal-03936618v1
Image document

Primitive Floats in Coq

Guillaume Bertholon , Érik Martin-Dorel , Pierre Roux
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Communication dans un congrès hal-02449191v1