This artifact aims at replicating the results reported in the paper Double-Ended Bit-Stealing for Algebraic Data Types. The artifact includes (1) a tutorial demonstrating unboxing in the MLKit (and in particular unboxing through double-ended bit stealing) as described in the paper, (2) code for replicating the benchmark results reported in the paper, and (3) the source code for MLKit, including a description of the implementation of double-ended bit-stealing. For replicating the results, access to an x86_64 platform is assumed as well as 12Gb of RAM.

Professor in the Programming Languages and Theory of Computation (PLTC) section at Department of Computer Science, University of Copenhagen (DIKU). Conducts research in the design and implementation of programming languages, including compilation techniques for functional languages, parallelism, memory management, and program optimisation.