Charon: Load-Aware Load-Balancing in P4. - Carmine Rizzi; Zhiyuan Yao; Yoann Desmouceaux; Mark Townsley; Thomas H. Clausen (CNSM, 2021)

A Comprehensive Timing Model for Accurate Frequency Tuning in Dataflow Circuits. - Carmine Rizzi; Andrea Guerrieri; Paolo Ienne; Lana Josipovic (FPL, 2022)

Load-Store Queue Sizing for Efficient Dataflow Circuits. - Jiantao Liu; Carmine Rizzi; Lana Josipovic (FPT, 2022)

An Iterative Method for Mapping-Aware Frequency Regulation in Dataflow Circuits. - Carmine Rizzi; Andrea Guerrieri; Lana Josipovic (DAC, 2023)

MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization. - Hanyu Wang; Carmine Rizzi; Lana Josipovic (ICCAD, 2023)

SimGen: Simulation Pattern Generation for Efficient Equivalence Checking. - Carmine Rizzi; Sarah Brunner; Alan Mishchenko; Lana Josipovic (DATE, 2025)