Anastasios Antoniadis

Registered user since Fri 10 Mar 2017

Name:Anastasios Antoniadis
Bio:

I am a Ph.D. student at the Department of Informatics and Telecommunications at the University of Athens. I started my Ph.D. 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.

Nowadays I am also heavily invested in tech and gaming related blogging and reviews.

Country:Greece
Affiliation:University of Athens, Greece
Personal website:https://borderpolar.com
Research interests:Programming Languages, Compilers, Static Analysis

Contributions

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 Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room within the PLDI Research Papers-track
SPLASH 2019 Co-chair in Organizers within the Student Volunteers-track
Student Volunteer Chair in Organizing Committee
SOAP 2017 Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track
ECOOP and ISSTA 2018 Author of Two-phase Analysis for Precision and Scalability within the Doc Symposium-track