Guillaume Bertholon

According to our database, Guillaume Bertholon authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Interactive compilation via trustworthy source-to-source transformations. (Compilation interactive par des transformations source-à-source dignes de confiance).

Guillaume Bertholon

PhD thesis, 2025

2024

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

Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

2020

At Most 43 Moves, At Least 29: Optimal Strategies and Bounds for Ultimate Tic-Tac-Toe.

Guillaume Bertholon, Rémi Géraud-Stewart, Axel Kugelmann, Théo Lenoir, David Naccache

CoRR, 2020

2019

Towards seamless interfacing between dynamic languages and native code.

Guillaume Bertholon, Stephen Kell

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Primitive Floats in Coq.

Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019