Mathis Bouverot-Dupuis
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Kathrin Starkonce
- Kenji Maillardonce
- Mary Sheeranonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sulfur: Substitution Generation using a Logical Framework | RocqPL 2026 | 2026-01-17 |
A Coq/Rocq plugin reimplements Autosubst’s costly asimpl by reflective tactic reification: it generates concrete de Bruijn-based syntax, translates terms into… | ||
| Code Generation via Meta-programming in Dependently Typed Proof Assistants | WITS 2026 | 2026-01-17 |
A survey implements seven implementations of a Functor-deriving meta program that generates the map function for option/list/tree and other boilerplate across… | ||
| Efficient GPU Implementation of Affine Index Permutations on Arrays | FHPNC 2023 | 2023-09-04 |
Presents GPU kernels that implement BMMC (bit-matrix-multiply-complement) index permutations with performance comparable to as fast as a simple array copy… | ||
| nothing matches | ||