Guillaume Bertholon

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

Publications

Publications

Deposit thumbnail

Bidirectional Translation between a C-like Language and an Imperative Lambda-calculus

Guillaume Bertholon , Arthur Charguéraud

36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France

Communication dans un congrès hal-04859522v1
Deposit thumbnail

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
Deposit thumbnail

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-04604636v1
Deposit thumbnail

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
Deposit thumbnail

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