Guillaume Bertholon
4
Documents
Affiliation actuelle
- Compilation pour les Architectures MUlti-coeurS (CAMUS)
Site web
Publications
Publications
|
|
Source-to-Source Optimizations Validated using Separation Logic35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04406229
v1
|
|
|
Interactive Source-to-Source Optimizations Validated using Static Resource AnalysisSOAP 2024 - Workshop - PLDI 2024, Jun 2024, Copenhagen, Denmark. ⟨10.1145/3652588.3663320⟩
Communication dans un congrès
hal-04604636
v1
|
|
|
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
Communication dans un congrès
hal-03936618
v1
|
|
|
Primitive Floats in CoqITP 2019, Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Communication dans un congrès
hal-02449191
v1
|
Chargement...
Chargement...