Anastasios Antoniadis

Ph.D. Student @ University of Athens Software Enginner, photographer, blogger.

About Me

My name is Anastasios Antoniadis. I am a PhD 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 are a member of the programming languages and software technologies research group of the department—PLaST.

I am also the creator and writer of BORDERPOLAR and Optima Games, two blogs specializing and tech and gaming guides and reviews.

My main research area is static points-to analysis of Java programs. My focus is particularly 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 five months. I was also an intern at CERN from 2012 to 2013.

Publications

  • Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room — PLDI 2020
  • Porting Doop to SoufflĂ©: a tale of inter-engine portability for Datalog-based analyses — SOAP 2017

My Projects

GitHub repositories that I've built.

IRIS Reasoner - Program Analysis Sample
Java 4 1
SE 2011 project -- YouCompare