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