Guillaume Bertholon

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. SOAP@PLDI (2024)
Guillaume Bertholon, Rémi Géraud-Stewart, Axel Kugelmann, Théo Lenoir, David Naccache
At Most 43 Moves, At Least 29: Optimal Strategies and Bounds for Ultimate Tic-Tac-Toe. CoRR (2020)
Guillaume Bertholon, Stephen Kell
Towards seamless interfacing between dynamic languages and native code. VMIL@SPLASH (2019)
Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux
Primitive Floats in Coq. ITP (2019)