Ralf Jung, Benjamin Kimock, Christian Poveda, Eduardo Sánchez Muñoz, Oli Scherer, Qian Wang: Artifact for Miri: Practical Undefined Behavior Detection for Rust. Zenodo 2025