Recently some of the Miri contributors published a paper that was accepted to POPL. I've been using Rust professionally for about 7 years now, and while I'd heard of Miri several times over the years,...