TY  - RPRT
TI  - mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis
AU  - Alexander Brauckmann
AU  - Elizabeth Polgreen
AU  - Tobias Grosser
AU  - Michael F. P. O'Boyle
PY  - 2023
UR  - https://arxiv.org/abs/2310.04196
ID  - 2310.04196
ER  -