Davide Italiano

Debug information validation for optimized code

Yuanbo Li, Shuo Ding, Qirun Zhang, 2020, PLDI.

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries pdf

Giuseppe Antonio Di Luna, Leonardo Querzoni, Davide Italiano, 2020, ArXiv.

Calloutng : a new infrastructure for timer facilities in the FreeBSD kernel

Davide Italiano, Alexander Motin, 2013 .