Position-dependent arrays and their application for high performance code generation. - Federico Pizzuti; Michel Steuwer; Christophe Dubach (FHPNC@ICFP, 2019)

Generating fast sparse matrix vector multiplication from a high level generic functional IR. - Federico Pizzuti; Michel Steuwer; Christophe Dubach (CC, 2020)

Generating high performance code for irregular data structures using dependent types. - Federico Pizzuti; Michel Steuwer; Christophe Dubach (FHPNC@ICFP, 2021)

Generating Work Efficient Scan Implementations for GPUs the Functional Way. - Federico Pizzuti; Michel Steuwer; Christophe Dubach (Euro-Par, 2022)

RISE & Shine: Language-Oriented Compiler Design. - Michel Steuwer; Thomas Koehler 005; Bastian Köpcke; Federico Pizzuti (CoRR, 2022)