Artifact for "A Grounded Conceptual Model for Ownership Types in Rust"

These are Docker images that contain the codebase and evaluation scripts for our OOPSLA 2023 paper "A Grounded Conceptual Model for Ownership Types". Download the tarfile appropriate for your machine's architecture (e.g. arm64 for ARM like M1 Macs, and amd64 for x86 like most else). Once you download the tarfile, you can run:

docker load -i aquascope-supplemental-oopsla23-<ARCH>.tar.gz
docker run -p 8888:8888 -ti aquascope-supplemental-oopsla23:<ARCH> bash

Then read the README.md inside the image for further instructions to reproduce our experiments.