index.html

---
layout: home
---

<h2 class="text-white">About Me</h2>
<p align="justify" class="f4 mb-4 text-white">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&mdash;<a                                                 
href="https://plast-lab.github.io">PLaST</a>.
<br>
<br>
I am also the creator and writer of <a                                                 
href="https://borderpolar.com">BORDERPOLAR</a> and <a                                                 
href="https://optimagames.com">Optima Games</a>, two blogs specializing and tech and gaming guides and reviews. 
<br>
<br>
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.
<br>
<br>
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.
</p>

    <h2 class="text-white">Publications</h2>
    <p class="f4 mb-4 text-white">
        <ul>
            <li>Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room &mdash; PLDI 2020</li>
            <li>Porting Doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses &mdash; SOAP 2017</li>
          </ul>
    </p>