Published April 15, 2025
| Version v2.2.2
Software
Open
Artifact for PLDI'25: An Interactive Debugger for Rust Trait Errors
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
Related works
- Is supplement to
- Software: https://github.com/gavinleroy/pldi25-artifact/tree/v2.2.1 (URL)
- Software: https://github.com/cognitive-engineering-lab/argus (URL)
Software
- Repository URL
- https://github.com/gavinleroy/pldi25-artifact
- Programming language
- Rust, Julia