MIR interpreter (miri)

[Google Scholar] [Website]

Notes: Rust language, MIR, undefined behaviour
Papers: jung:popl:2020

Miri is an interpreter for the Rust language’s mid-level intermediate representation MIR that detects many kinds of undefined behaviour.

Stacked borrows: An aliasing model for Rust [jung:popl:2020]

The opinions expressed are my own views and not my employer’s.