Registered user since Thu 27 Feb 2020

Name: Davide Italiano

Affiliation: Apple, USA

Research interests: Compilers, programming languages, debuggers, formal verification

Contributions

PLDI 2020 Author of Debug Information Validation for Optimized Code within the PLDI Research Papers-track