SAT-MapIt: An Open Source Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures. - Cristian Tirelli; Lorenzo Ferretti; Laura Pozzi 001 (CF, 2023)

SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures. - Cristian Tirelli; Lorenzo Ferretti; Laura Pozzi 001 (DATE, 2023)

Mapping Code on Coarse Grained Reconfigurable Arrays Using a SAT Solver. - Cristian Tirelli; Laura Pozzi 001 (Euro-Par Workshops (2), 2024)

SAT-Based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs. - Cristian Tirelli; Juan Sapriza; Rubén Rodríguez Álvarez; Lorenzo Ferretti; Benoît W. Denkinger; Giovanni Ansaloni; Jose Angel Miranda; David Atienza; Laura Pozzi 001 (ACM J. Emerg. Technol. Comput. Syst., 2024)

An MLIR-Based Compilation Framework for CGRA Application Deployment. - Yuxuan Wang 003; Cristian Tirelli; Lara Orlandic; Juan Sapriza; Rubén Rodríguez Álvarez; Giovanni Ansaloni; Laura Pozzi 001; David Atienza (ARC, 2025)

Monomorphism-Based CGRA Mapping Via Space and Time Decoupling. - Cristian Tirelli; Rodrigo Otoni; Laura Pozzi 001 (DATE, 2025)

An MLIR-based Compilation Framework for Control Flow Management on CGRAs. - Yuxuan Wang 003; Cristian Tirelli; Giovanni Ansaloni; Laura Pozzi 001; David Atienza (CoRR, 2025)