ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Anastasios Antoniadis

Registered user since Fri 10 Mar 2017

Name: Anastasios Antoniadis

Bio: I am a PhD student at the Department of Informatics and Telecommunications at University of Athens. I started my PhD on October 2016 under the supervision of professor Yannis Smaragdakis and I am a member of the programming languages and software technologies research group of the department—PLaST.

My main research area is static points-to analysis of Java programs. In particular, my focus is on large-scale Java applications, such as Java EE applications and static analysis scalability under highly precise context-sensitivity.

In the past I worked as a research assistant at Oracle Labs Australia in 2019 for 5 months. I was also an intern at CERN for a year in 2012-2013.

Affiliation: University of Athens, Greece

Personal website: https://anantoni.github.io

Research interests: Programming Languages, Compilers, Static Analysis

Contributions

ECOOP 2020Author 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
Show activities from other conferences

Using general profile