ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Sifis Lagouvardos
Sifis Lagouvardos

Registered user since Sun 19 May 2019

Name: Sifis Lagouvardos

Affiliation: University of Athens

Research interests: Static Analysis, Programming Languages, Bug Detection

Contributions

ECOOP 2020 Static Analysis of Shape in TensorFlow Programs
Static Analysis of Shape in TensorFlow Programs
SPLASH 2020 Precise Static Modeling of Ethereum “Memory”
Precise Static Modeling of Ethereum ``Memory''
Show activities from other conferences

SPLASH 2020-profile
View general profile