Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Wed 2 Nov 2016 16:30 - 16:55 at Matterhorn 1 - Static Analysis Chair(s): Sam Guyer

The performance of contemporary object oriented languages depends on
optimizations such as devirtualization, inlining, and specialization, and these in turn
depend on precise call graph analysis. Existing call graph analyses
do not take advantage of the information provided by the rich type
systems of contemporary languages, in particular generic type arguments.
Many existing approaches analyze Java bytecode, in which generic types
have been erased.
This paper shows that this discarded information is actually very useful
as the context in a context-sensitive analysis, where it
significantly improves precision and keeps
the running time small. Specifically, we propose and evaluate call graph
construction algorithms in which the contexts of a method are (i) the
type arguments passed to its type parameters, and (ii) the static types
of the arguments passed to its term parameters.
The use of static types from the caller as context is effective because it allows more precise dispatch of call sites inside the callee.

Our evaluation indicates that the average number of contexts required per method is small.
We implement the analysis in the Dotty compiler for Scala,
and evaluate it on programs that use the type-parametric Scala
collections library and on the Dotty compiler itself.
The context-sensitive analysis runs 1.4x faster than a context-insensitive
one and discovers 20% more monomorphic call sites at the same time. When applied
to method specialization, the imprecision in a context-insensitive
call graph would require the average method to be cloned 22 times,
whereas the context-sensitive
call graph indicates a much more practical 1.00 to 1.50 clones per method.

We applied the proposed analysis to automatically specialize generic methods.
The resulting automatic transformation achieves the same performance
as state-of-the-art techniques requiring manual annotations,
while reducing the size of the generated bytecode by up to 5$\times$.

Wed 2 Nov

splash-2016-oopsla
15:40 - 17:20: OOPSLA - Static Analysis at Matterhorn 1
Chair(s): Sam GuyerTufts University
splash-2016-oopsla147809760000015:40 - 16:05
Talk
Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech
DOI
splash-2016-oopsla147809910000016:05 - 16:30
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
splash-2016-oopsla147810060000016:30 - 16:55
Talk
Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland
DOI
splash-2016-oopsla147810210000016:55 - 17:20
Talk
Satish ChandraSamsung Research America, Colin GordonDrexel University, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Young-il ChoiSamsung Electronics
DOI Pre-print