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

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

15:40 - 17:20
Session 4VMIL at St Gallen
Chair(s): Jeremy Singer University of Glasgow
15:40
25m
Talk
Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
VMIL
Manuel Rigger Johannes Kepler University, Linz, Austria, Matthias Grimmer Johannes Kepler University Linz, Christian Wimmer Oracle Labs, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria
Pre-print
16:05
25m
Talk
Improving Trace-based JIT Optimisation using Whole-Program Information
VMIL
Maarten Vandercammen Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel, Belgium
DOI Pre-print
16:30
25m
Talk
Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR
VMIL
Matthew Gaudet IBM Canada, Mark Stoodley IBM Canada
16:55
25m
Day closing
Discussions/Closing Remarks
VMIL
Tony Hosking Australian National University, Data61, and Purdue University