R research.ralfj.de Miri: Practical Undefined Behavior Detection for Rust [pdf] 77 points ingve 10 months ago 10 comments
