Mathis Bouverot-Dupuis -

Registered user since Tue 22 Oct 2024

Name:Mathis Bouverot-Dupuis

Country:France

Affiliation:INRIA & École Normale Supérieure

Personal website: https://mathisbd.github.io/

GitHub: https://github.com/MathisBD

Research interests:Proof assistants (mainly Coq and Lean) & metaprogramming

Contributions

2023

FHPNC

Author of Efficient GPU Implementation of Affine Index Permutations on Arrays within the FHPNC 2023-track