Guillaume Bertholon
6
Documents
Affiliation actuelle
- Compilation pour les Architectures MUlti-coeurS (CAMUS)
Site web
Publications
Publications
|
|
Interactive compilation via trustworthy source-to-source transformationsOther [cs.OH]. Université de Strasbourg, 2025. English. ⟨NNT : 2025STRAD013⟩ |
|
|
Bidirectional Translation between a C-like Language and an Imperative Lambda-calculus36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France |
|
|
Source-to-Source Optimizations Validated using Separation Logic35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France |
|
|
Interactive Source-to-Source Optimizations Validated using Static Resource AnalysisSOAP 2024 - Workshop - PLDI 2024, Jun 2024, Copenhagen, Denmark. ⟨10.1145/3652588.3663320⟩ |
|
|
An AST for Representing Programs with Invariants and ProofsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.43-58 |
|
|
Primitive Floats in CoqITP 2019, Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩ |
Chargement...
Chargement...