Primitive Floats in Coq. - Guillaume Bertholon; Érik Martin-Dorel; Pierre Roux 001 (ITP, 2019)

Towards seamless interfacing between dynamic languages and native code. - Guillaume Bertholon; Stephen Kell (VMIL@SPLASH, 2019)

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)

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. - Guillaume Bertholon; Arthur Charguéraud; Thomas Koehler 005; Begatim Bytyqi; Damien Rouhling (SOAP@PLDI, 2024)