Mathis Bouverot-Dupuis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Code Generation via Meta-programming in Dependently Typed Proof Assistants. | Mathis Bouverot-Dupuis, Yannick Forster |
| 2026 | SIROCCO | 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 |
| 2023 | ICFP | Efficient GPU Implementation of Affine Index Permutations on Arrays. | Mathis Bouverot-Dupuis, Mary Sheeran |