ACM:3453483.3454084 · 2 repos reference this paper in their README
rust-lang/miri
6,571
·
An interpreter for Rust's mid-level intermediate representation
rust-lang/rust
117,996
Empowering everyone to build reliable and efficient software.
