Write a Blog >>
CC 2020
Sat 22 - Wed 26 February 2020 San Diego, California, United States
Sun 23 Feb 2020 09:15 - 09:37 - Session 4 Optimizations Chair(s): Michel Steuwer

Pointer analysis is widely used as a base for different kinds of static analyses and compiler optimizations. Designing a scalable pointer analysis with acceptable precision for use in production compilers is still an open question. Modern object oriented languages like Java and Scala promote abstractions and code reuse, both of which make it difficult to achieve precision. Collections are an example of a pervasively used component in such languages. But analyzing collection implementations with full context sensitivity leads to prohibitively long analysis times.

We use semantic models to reduce the complex internal implementation of, e.g., a collection to a small and concise model. Analyzing the model with context sensitivity leads to precise results with only a modest increase in analysis time. The models must are written manually, which is feasible because a model method usually consists of only a few statements. In addition to the context sensitive analysis of the model methods, the original methods are analyzed without context to ensure soundness. Our implementation in the static analysis of GraalVM Native Image shows a rise in useful precision (1.35X rise in the number of checkcast statements that can be elided over the default analysis configuration) with a manageable performance cost (19% rise in analysis time).

Sun 23 Feb
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

CC-2020-main-conference
08:30 - 10:00: Main Conference - Session 4 Optimizations
Chair(s): Michel SteuwerUniversity of Glasgow
CC-2020-main-conference08:30 - 08:52
Research paper
Manas ThakurIIT Mandi, V Krishna NandivadaIIT Madras
CC-2020-main-conference08:52 - 09:15
Research paper
Son Tuan VuSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Karine HeydemannSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert CohenGoogle, Arnaud de GrandmaisonArm
CC-2020-main-conference09:15 - 09:37
Research paper
Pratik FegadeCarnegie Mellon University, Oracle Labs, Christian WimmerOracle Labs
CC-2020-main-conference09:37 - 10:00
Research paper
Rodrigo C. O. RochaUniversity of Edinburgh, Vasileios PorpodasIntel Corporation, Pavlos PetoumenosUniversity of Edinburgh, Luís GóesPUC Minas, Zheng WangUniversity of Leeds, Murray ColeUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh