PACTmlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael FP O'Boyle, 2023