ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
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.

Wed 18 Jul

ecoop-issta-2018-doctoral-symposium
13:30 - 15:24: Doc Symposium - Session 2 at Winterthur
ecoop-issta-2018-doctoral-symposium14:00 - 14:25
Doctoral symposium paper
Olivier FlückigerNortheastern University, USA
File Attached
ecoop-issta-2018-doctoral-symposium14:25 - 14:41
Doctoral symposium paper
Tony AntoniadisUniversity of Athens, Greece
File Attached
ecoop-issta-2018-doctoral-symposium14:41 - 14:57
Doctoral symposium paper
Goran PiskachevFraunhofer IEM
File Attached
ecoop-issta-2018-doctoral-symposium14:57 - 15:13
Doctoral symposium paper
Timotej KapusImperial College London
File Attached
ecoop-issta-2018-doctoral-symposium15:13 - 15:29
Doctoral symposium paper
Dan IorgaImperial College London, UK