Artifact for Type Tailoring (ECOOP 2024)

Latest version contains:

• README containing instructions on how to use (README.md)
• Tarball of source code (ecoop24_artifact.tar.gz)
• Tarball of Docker image (type-tailoring-container.tar.gz)

Downloading

Download README.md; this contains all the instructions on how to use the artifact to reproduce claims in the paper.

You now have a choice on how to run the software: from source or using Docker. We recommend using Docker where possible because the container contains all of the dependencies the artifact needs.

NOTE: the Docker container was built to run on an x86 architecture and may not run on other architectures. When we tested the container on an Apple M1 Pro, the Julia section failed; everything else ran okay, but rather slowly. If you do not have an x86 machine, you might consider running the source directly.

Running from source

You will need to download ecoop24_artifact.tar.gz and unpack; this contains all of the source code, but you will need to download and install dependencies (the languages Racket, Julia, Elixir as well as associated libraries) yourself. The README contains all of the instructions on how to do this. You do NOT need to download the container tarball.

Running from Docker

You can either pull the container image from DockerHub or import the image from the type-tailoring-container.tar.gz tarball. If you would like to pull from DockerHub, you do NOT need to download the container tarball—simply pull from DockerHub. If you can not or do not wish to use DockerHub, download type-tailoring-container.tar.gz and follow the instructions in the README for how to import and start.