DLS 2020
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
5DLS 2020 / SAS at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Sukyoung Ryu
17:00
20m
Research paper
Abstract Neural Networks
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
17:20
20m
Talk
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
17:40
20m
Research paper
Probabilistic Lipschitz Analysis of Neural NetworksArtifact
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
18:00
20m
Talk
Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
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
20m
Research paper
Abstract Neural Networks
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
05:20
20m
Talk
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
05:40
20m
Research paper
Probabilistic Lipschitz Analysis of Neural NetworksArtifact
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
06:00
20m
Talk
Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
DLS 2020
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached