Debug information validation for optimized code. - Yuanbo Li; Shuo Ding; Qirun Zhang; Davide Italiano (PLDI, 2020)

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries. - Giuseppe Antonio Di Luna; Davide Italiano; Luca Massarelli; Sebastian Österlund; Cristiano Giuffrida; Leonardo Querzoni (CoRR, 2020)

Who's debugging the debuggers? exposing debug information bugs in optimized binaries. - Giuseppe Antonio Di Luna; Davide Italiano; Luca Massarelli; Sebastian Österlund; Cristiano Giuffrida; Leonardo Querzoni (ASPLOS, 2021)

Finding Missed Code Size Optimizations in Compilers using Large Language Models. - Davide Italiano; Chris Cummins (CC, 2025)

Finding Missed Code Size Optimizations in Compilers using LLMs. - Davide Italiano; Chris Cummins (CoRR, 2025)