DLS 2020
16th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2020)

Title Page

Welcome from the Chairs

DLS 2020 Organization

Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Yusuke Izawa and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)


@InProceedings{DLS20p1, author = {Yusuke Izawa and Hidehiko Masuhara}, title = {Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426422.3426977}, year = {2020}, } Publisher's Version Video

Wasm/k: Delimited Continuations for WebAssembly
Donald Pinckney, Arjun Guha, and Yuriy Brun
(Northeastern University, USA; University of Massachusetts at Amherst, USA)


@InProceedings{DLS20p16, author = {Donald Pinckney and Arjun Guha and Yuriy Brun}, title = {Wasm/k: Delimited Continuations for WebAssembly}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3426422.3426978}, year = {2020}, } Publisher's Version Video

Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Dejice Jacob, Phil Trinder, and Jeremy Singer
(University of Glasgow, UK)


@InProceedings{DLS20p30, author = {Dejice Jacob and Phil Trinder and Jeremy Singer}, title = {Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {30-29}, doi = {10.1145/3426422.3426979}, year = {2020}, } Publisher's Version Video

DelayRepay: Delayed Execution for Kernel Fusion in Python
John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, and Michael F. P. O'Boyle
(University of Edinburgh, UK; McGill University, Canada)


@InProceedings{DLS20p44, author = {John Magnus Morton and Kuba Kaszyk and Lu Li and Jiawen Sun and Christophe Dubach and Michel Steuwer and Murray Cole and Michael F. P. O'Boyle}, title = {DelayRepay: Delayed Execution for Kernel Fusion in Python}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {44-43}, doi = {10.1145/3426422.3426980}, year = {2020}, } Publisher's Version Video

Python 3 Types in the Wild: A Tale of Two Type Systems
Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; IBM Research, USA)


@InProceedings{DLS20p58, author = {Ingkarat Rak-amnouykit and Daniel McCrevan and Ana Milanova and Martin Hirzel and Julian Dolby}, title = {Python 3 Types in the Wild: A Tale of Two Type Systems}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3426422.3426981}, year = {2020}, } Publisher's Version Video

Framework-Aware Debugging with Stack Tailoring
Matteo Marra, Guillermo Polito, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; CNRS, France; University of Lille, France; Inria, France)


@InProceedings{DLS20p72, author = {Matteo Marra and Guillermo Polito and Elisa Gonzalez Boix}, title = {Framework-Aware Debugging with Stack Tailoring}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {72-71}, doi = {10.1145/3426422.3426982}, year = {2020}, } Publisher's Version Video

Dynamic Pattern Matching with Python
Tobias Kohn, Guido van Rossum, Gary Brandt Bucher II, Talin, and Ivan Levkivskyi
(University of Cambridge, UK; Python Software Foundation, USA; Research Affiliates, USA; Dropbox, Ireland)


@InProceedings{DLS20p86, author = {Tobias Kohn and Guido van Rossum and Gary Brandt Bucher II and Talin and Ivan Levkivskyi}, title = {Dynamic Pattern Matching with Python}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3426422.3426983}, year = {2020}, } Publisher's Version Video

Sampling Optimized Code for Type Feedback
Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; University of Bern, Switzerland; Czech Technical University, Czechia; National University of Quilmes, Argentina)


@InProceedings{DLS20p100, author = {Olivier Flückiger and Andreas Wälchli and Sebastián Krynski and Jan Vitek}, title = {Sampling Optimized Code for Type Feedback}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3426422.3426984}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available

Sound, Heuristic Type Annotation Inference for Ruby
Milod Kazerounian, Brianna M. Ren, and Jeffrey S. Foster
(University of Maryland, USA; Tufts University, USA)


@InProceedings{DLS20p114, author = {Milod Kazerounian and Brianna M. Ren and Jeffrey S. Foster}, title = {Sound, Heuristic Type Annotation Inference for Ruby}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {114-113}, doi = {10.1145/3426422.3426985}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available