Guillaume Bertholon

4
Documents
Affiliation actuelle
  • Compilation pour les Architectures MUlti-coeurS (CAMUS)

Publications

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-04406229 v1
Image document

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis

Guillaume Bertholon , Arthur Charguéraud , Thomas Koehler , Begatim Bytyqi , Damien Rouhling
SOAP 2024 - Workshop - PLDI 2024, Jun 2024, Copenhagen, Denmark. ⟨10.1145/3652588.3663320⟩
Communication dans un congrès hal-04604636 v1
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-03936618 v1
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-02449191 v1