Mathieu Fehr
PhD
2025
- CGOxDSL: Sidekick Compilation for SSA-Based Compilers ↞ New!
Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser
- PLDIFirst-Class Verification Dialects for MLIR ↞ New!
Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser