Next entry in Rustc Lecture Series: oli-obk talks about the design and use of miri, the MIR interpreter.
Date: March 5, 2019 at 10am UTC-05:00 (Boston time)
Where: Join Zoom Meeting https://zoom.us/j/379898279
Description: miri is an interpreter for MIR, Rust’s internal representation. miri is the foundation for Rust’s compile time evaluation capabilities. Its design enables it to simulate the workings of the machine at a low-level, meaning that it can interpret not only “safe Rust” but also a lot of unsafe Rust code, including complex and highly optimized libraries like the stdlib hashmap. In this talk, compiler team member @oli-obk will dig into how miri works, giving us some insight into its architecture, the way that it represents and reasons about memory, and what kinds of capabilities it offers for Rust itself.
Note that this event is listed on the compiler team meetig calendar, including full details for how to connect via phone etc.
