DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 05:20 - 05:40 at SPLASH-III - 5 Chair(s): Xavier Rival, Sukyoung Ryu
Wed 18 Nov 2020 17:20 - 17:40 at SPLASH-III - 5 Chair(s): Patrick Cousot, Sukyoung Ryu

Most virtual machines employ just-in-time (JIT) compilers to achieve
high-performance. Trace-based compilation and method-based compilation are two
major compilation strategies in JIT compilers. In general, the former excels
in compiling programs with more in-depth method calls and more dynamic
branches, while the latter is suitable for a wide range of programs. Some
previous studies have suggested that each strategy has its advantages and
disadvantages, and there is no clear winner.

In this paper, we present a new approach, namely, the meta-hybrid JIT
compilation strategy. It combines trace-based and method-based compilations to
utilize the advantages of both strategies. Moreover, it is realized as a meta
JIT compiler framework; thus, we can generate a VM with a hybrid JIT compiler
that can apply different program parts by merely writing an interpreter with
our framework.

We chose to extend a meta-tracing JIT compiler and supported the two
compilations on it. As a prototype, we implemented a simple meta-tracing JIT
compiler framework called BacCaml based on the MinCaml compiler by following
RPython’s architecture.

We evaluated its performance by creating a small functional programming
language with BacCaml and running microbenchmark programs. Furthermore, we
performed a synthetic experiment to confirm that there are programs that
run faster by hybrid compilation.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: 5SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Sukyoung Ryu
17:00 - 17:20
Research paper
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
17:20 - 17:40
Talk
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
17:40 - 18:00
Research paper
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
18:00 - 18:20
Talk
DLS 2020
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: 5SAS / DLS 2020 at SPLASH-III
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung Ryu
05:00 - 05:20
Research paper
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
05:20 - 05:40
Talk
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
05:40 - 06:00
Research paper
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
06:00 - 06:20
Talk
DLS 2020
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached