Sifis Lagouvardos -

Registered user since Sun 19 May 2019

Name:Sifis Lagouvardos

Country:Greece

Affiliation:University of Athens

Research interests:Static Analysis, Programming Languages, Bug Detection

Contributions

SPLASH 2022	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the COVID Time Papers In Person-track Author of Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts within the COVID Time Papers In Person-track Author of Elipmoc: advanced decompilation of Ethereum smart contracts within the OOPSLA-track
SAS 2022	Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
SPLASH 2021	Author of Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts within the OOPSLA-track
SPLASH 2020	Author of Precise Static Modeling of Ethereum “Memory” within the OOPSLA-track Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track
ECOOP 2020	Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track
PLDI 2020	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track
SPLASH 2019	Video Chair in Organizing Committee