Artifact for Miri: Practical Undefined Behavior Detection for Rust

Published October 12, 2025 | Version v1

Software Open

Artifact for POPL 2026 paper Miri: Practical Undefined Behavior Detection for Rust

Files

Name	Size
miri_artifact.tar.xz md5:5e3388bf8d1892b1c457ad63dfb6b6f8	2.9 MB	Download
miri_logs.tar.xz md5:04344ea7d1d66e0bc3b310381a38dbe1	232.6 MB	Download
README.md md5:359b742f56543eaa5e373f6fe1341106	6.9 kB	Preview Download

323

Views

152

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more; Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more