Published July 12, 2023 | Version v0.1.2
Software Open

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

  • 1. Brown University
  • 2. ETH Zurich


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 inside the image for further instructions to reproduce our experiments.


Files (9.4 GB)

Name Size Download all
4.8 GB Download
4.6 GB Download