
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://anantoni.github.io
Twitter: https://twitter.com/anantoni13
GitHub: https://github.com/anantoni
Research interests: Programming Languages, Compilers, Static Analysis
Contributions
ECOOP 2020 | Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
View general profile