Trace-based automated logical debugging for high-level synthesis generated circuits. - Pietro Fezzardi; Michele Castellana; Fabrizio Ferrandi (ICCD, 2015)

Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers. - Pietro Fezzardi; Fabrizio Ferrandi (FPL, 2016)

Using Efficient Path Profiling to Optimize Memory Consumption of On-Chip Debugging for High-Level Synthesis. - Pietro Fezzardi; Marco Lattuada 001; Fabrizio Ferrandi (ACM Trans. Embed. Comput. Syst., 2017)

rev.ng: A Multi-Architecture Framework for Reverse Engineering and Vulnerability Discovery. - Alessandro Di Federico; Pietro Fezzardi; Giovanni Agosta (ICCST, 2018)

Enabling Automated Bug Detection for IP-Based Designs Using High-Level Synthesis. - Pietro Fezzardi; Fabrizio Ferrandi; Christian Pilato (IEEE Des. Test, 2018)

Discrepancy analysis: a methodology for automated bug detection in hardware designs generated with high-Level synthesis. - Pietro Fezzardi (2018)

Software defined architectures for data analytics. - Vito Giovanni Castellana; Marco Minutoli; Antonino Tumeo; Marco Lattuada 001; Pietro Fezzardi; Fabrizio Ferrandi (ASP-DAC, 2019)

Toward a V2I-based Solution for Traffic Lights Optimization. - Giovanni Agosta; Sandro Chiocchio; Elena Cinque; Pietro Fezzardi; Maurizio Mongelli; Arianna Persia; Marco Pratesi; Francesco Valentini (ICUMT, 2019)

A Comb for Decompiled C Code. - Andrea Gussoni; Alessandro Di Federico; Pietro Fezzardi; Giovanni Agosta (AsiaCCS, 2020)

Automated Bug Detection for High-level Synthesis of Multi-threaded Irregular Applications. - Pietro Fezzardi; Fabrizio Ferrandi (ACM Trans. Parallel Comput., 2020)

Invited: Bambu: an Open-Source Research Framework for the High-Level Synthesis of Complex Applications. - Fabrizio Ferrandi; Vito Giovanni Castellana; Serena Curzel; Pietro Fezzardi; Michele Fiorito; Marco Lattuada 001; Marco Minutoli; Christian Pilato; Antonino Tumeo (DAC, 2021)

Svelto: High-Level Synthesis of Multi-Threaded Accelerators for Graph Analytics. - Marco Minutoli; Vito Giovanni Castellana; Nicola Saporetti; Stefano Devecchi; Marco Lattuada 001; Pietro Fezzardi; Antonino Tumeo; Fabrizio Ferrandi (IEEE Trans. Computers, 2022)