Posts tagged with 'software-reliability' - 1

Even Safer Rust with Miri

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, I think there's a wide lack of knowledge about wh ... read more →