Mathis Bouverot-Dupuis

According to our database, Mathis Bouverot-Dupuis authored at least 6 papers between 2023 and 2026.

Collaborative distances:

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

2026

Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points.

Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain

Proceedings of the Structural Information and Communication Complexity, 2026

Code Generation via Meta-programming in Dependently Typed Proof Assistants.

Mathis Bouverot-Dupuis, Yannick Forster

Proceedings of the Programming Languages and Systems, 2026

2025

Universal Pairs for Diophantine Equations.

Jonas Bayer, Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye

Dataset, September, 2025

Universal Pairs for Diophantine Equations.

Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye, Jonas Bayer

Arch. Formal Proofs, 2025

2023

Efficient GPU implementation of a class of array permutations.

Mathis Bouverot-Dupuis, Mary Sheeran

CoRR, 2023

Efficient GPU Implementation of Affine Index Permutations on Arrays.

Mathis Bouverot-Dupuis, Mary Sheeran

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023