ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Sat 21 Jul 2018 11:50 - 12:15 at Zurich II - Static Analysis Chair(s): Karim Ali

Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable references may not be truly mutable, but mutable due to approximation.

In this paper, we present ReM (for definite Re[ference] M[utability]). It separates potentially mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. In addition, we propose a CFL-reachability system for reference immutability, and prove that it is equivalent to ReIm/ReM, thus building a novel framework for reasoning about correctness of reference immutability type systems. We have implemented ReM and applied it on a large benchmark suite. Our results show that approximately 86.5% of all potentially mutable references are definitely mutable.

Sat 21 Jul

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

11:00 - 12:40
Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
25m
Research paper
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
DOI
11:25
25m
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
DOI Pre-print
11:50
25m
Research paper
Definite Reference Mutability
ECOOP Research Papers
Ana Milanova Rensselaer Polytechnic Institute
DOI
12:15
25m
Research paper
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI