conf.researchr.org / Davide Italiano

Registered user since Thu 27 Feb 2020

Name:Davide Italiano
Affiliation:Apple, USA
Research interests:Compilers, programming languages, debuggers, formal verification

Contributions