Blogs (61) >>
Wed 18 Jul 2018 14:25 - 14:41 at Winterthur - Session 2

Junior Submission
Pointer analysis is a fundamental static program analysis technique, with a rich literature and wide applications. The goal of pointer analysis is to compute an approximation of the set of program objects that a pointer variable or expression can refer to[5]. In essence, pointer analysis aims to provide a static model of a program’s heap, for all the possible executions of a program. There are two main challenges when performing pointer analysis on a program. Firstly, it is important for the analysis results to be precise enough to be used consumed by another tool for optimization, bug detection, vulnerability detection, etc. Varied levels of precision are required for depending on the task, but in general the more precision we can get in pointer analysis, the better.

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.

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:24
14:00
25m
Doctoral symposium paper
Optimization based on Facts and Fiction
Doc Symposium
Olivier Flückiger Northeastern University, USA
File Attached
14:25
16m
Doctoral symposium paper
Two-phase Analysis for Precision and Scalability
Doc Symposium
Anastasios Antoniadis University of Athens, Greece
File Attached
14:41
16m
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
Doc Symposium
Goran Piskachev Fraunhofer IEM
File Attached
14:57
16m
Doctoral symposium paper
Improving Symbolic Flat Memory Models with Pointer Alias Analysis
Doc Symposium
Timotej Kapus Imperial College London
File Attached
15:13
16m
Doctoral symposium paper
Auto-tuning Framework for Multi-core Interference Analysis
Doc Symposium
Dan Iorga Imperial College London, UK