Not registered as user yet

Name: Dimitrios Vardoulakis

Affiliation: Google

Contributions

Off the Beaten Track 2018 On quantifying the degree of unsoundness of static analyses
Show activities from other conferences

POPL 2018-profile
View general profile