Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mon 31 Oct 2016 16:05 - 16:30 at St Gallen - Session 4 Chair(s): Jeremy Singer

Trace-based just-in-time compilers use program analyses to optimise execution traces. These analyses are limited in scope to the parts of the program that have been traced. We conjecture that trace optimisations can benefit from extending the scope of their enabling analyses beyond these traces to the set of possible future execution states of the program. This by incorporating a static analysis which, however, necessarily over-approximates this set. We therefore propose to continuously refine the set of future states computed by an initial, ahead-of-time analysis using run-time information about the current execution state of the program. Additional static analyses launched at run time could further refine the information about the future of the current and all possible states. We expect that the resulting, hybrid program view of static and dynamic information may enable additional optimisations on collected traces and that these optimisations may overcome the computational overhead of keeping the view up-to-date.

Mon 31 Oct

vmil2016
15:40 - 17:20: VMIL - Session 4 at St Gallen
Chair(s): Jeremy SingerUniversity of Glasgow
vmil201615:40 - 16:05
Talk
Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Christian WimmerOracle Labs, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Pre-print
vmil201616:05 - 16:30
Talk
Maarten VandercammenVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel, Belgium
DOI Pre-print
vmil201616:30 - 16:55
Talk
Matthew GaudetIBM Canada, Mark StoodleyIBM Canada
vmil201616:55 - 17:20
Day closing
Tony HoskingAustralian National University, Data61, and Purdue University