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