A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. - Rafael Sumitani; Lucas Silva; Frederico F. Campos; Fernando Magno Quintão Pereira (SBLP, 2023)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools. - Rafael Sumitani; João Victor Amorim; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2024)

A methodology for empirical complexity analysis based on Newton's polynomial interpolation. - Rafael Fontes Sumitani; Lucas Victor da Silva Costa; Frederico F. Campos; Fernando Magno Quintão Pereira (J. Comput. Lang., 2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools. - João Victor Amorim; Luiza de Melo Gomes; Rafael Sumitani; Raissa Maciel; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2025)