Blogs (9) >>
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20: Session 4VMIL at St Gallen
Chair(s): Jeremy SingerUniversity of Glasgow
15:40 - 16:05
Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Christian WimmerOracle Labs, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria
16:05 - 16:30
Improving Trace-based JIT Optimisation using Whole-Program Information
Maarten VandercammenVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel, Belgium
DOI Pre-print
16:30 - 16:55
Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR
Matthew GaudetIBM Canada, Mark StoodleyIBM Canada
16:55 - 17:20
Day closing
Discussions/Closing Remarks
Tony HoskingAustralian National University, Data61, and Purdue University