Mathieu Fehr -

Registered user since Sat 27 Nov 2021

Name:Mathieu Fehr

Country:United Kingdom

Affiliation:The University of Edinburgh

GitHub: https://github.com/math-fehr

Contributions

2025

PLDI

Author of First-Class Verification Dialects for MLIR within the PLDI Research Papers-track

CGO

Author of xDSL: Sidekick Compilation for SSA-Based Compilers within the Main Conference-track

2024

CGO

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2023

CGO

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

PLDI

Author of IRDL: An IR Definition Language for SSA Compilers within the PLDI-track

CGO

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track