Published April 15, 2025 | Version v2.2.2
Software Open

Artifact for PLDI'25: An Interactive Debugger for Rust Trait Errors

Creators

  • 1. Brown University

Description

These are Docker images that contain the codebase and evaluation scripts for our PLDI 2025 paper “An Interactive Debugger for Rust Trait Errors”. Download the tarfile appropriate for your machine's architecture (e.g. aarch64 for ARM like M-series Macs, and amd64 for x86 like most else). Once you download the tarfile, you can run:

docker load < pldi25-argus-<ARCH>.tar.gz

docker run --name argus-image -p 8888:8888 -it gavinleroy/pldi25-argus-<ARCH>

Then read the README.md inside the image for further instructions.

Files

Files (3.8 GB)

Name Size Download all
md5:e89f408a492a9fd844b59903590361d3
1.9 GB Download
md5:031c8d8a559c1ad12210d9dd6d23af27
2.0 GB Download

Additional details

Software

Repository URL
https://github.com/gavinleroy/pldi25-artifact
Programming language
Rust, Julia