BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20201025T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20210328T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.22398.field_data.0@www.diag.uniroma1.it
DTSTAMP:20260406T005700Z
CREATED:20210125T222655Z
DESCRIPTION:Abstract: The talk will be a summary of my research activities 
 from the practical ones\, in the fields of cyber-security and compilers te
 sting\, to the one of a more theoretical nature in distributed computing. 
 The first part of the talk will focus on a really recent work on the corre
 ctness of debug information in optimized binaries. When debugging issues t
 here is the need to interpret core dumps and reproduce the problems on the
  same binary deployed in production. This requires the entire toolchain (c
 ompiler\, linker\, debugger) to correctly generate and use debug informati
 on. Little attention has been devoted to checking that such information is
  correctly preserved by modern toolchains’ optimization stages. This is pa
 rticularly important as managing debug information in optimized production
  binaries is non-trivial\, often leading to toolchain bugs that may hinder
  post-deployment debugging effort. In this part\, we present Debug2\, a fr
 amework to find debug information bugs in modern toolchains.  We have used
  Debug2 to find 23 bugs in the LLVM toolchain (clang/lldb)\, 8 bugs in the
  GNU toolchain (GCC/gdb)\, and 3 in the Rust toolchain (rustc/lldb). The s
 econd part of talk will be an overview of my other research activities. I 
 will first discuss my research in Cyber-security focussed on applying tech
 niques borrowed from NLP to the analysis of binaries. Then\, I will talk a
 bout my research in the distributed computing area\, on Programmable Matte
 rs and Dynamic networks. Short Bio: Giuseppe Antonio Di Luna got his Ph.D.
  from Sapienza University of Rome in 2015. After his Ph.D. he did a postdo
 c at the University of Ottawa\, working on fault-tolerant distributed algo
 rithms\, distributed robotics\, and algorithm design for programmable part
 icles. In 2018 he started a postdoc at the Aix-Marseille University\, wher
 e he worked on dynamic graphs. Currently\, he is a postdoctoral fellow at 
 Sapienza funded by the AXA fellowship and performing research on applying 
 NLP techniques to the binary analysis domain and assessing the correctness
  of debug symbols.
DTSTART;TZID=Europe/Paris:20210129T150000
DTEND;TZID=Europe/Paris:20210129T150000
LAST-MODIFIED:20230710T173816Z
LOCATION:DIAG\, Aula Magna + Zoom
SUMMARY:A fast paced stroll from theory to practice in systems research - G
 iuseppe Antonio Di Luna
URL;TYPE=URI:http://www.diag.uniroma1.it/node/22398
END:VEVENT
END:VCALENDAR