Eufalconimorph
Computer
The announcement blog post contains links to both the paper (open access) and a talk presenting the work that doesn't require familiarity with Rust. This probably won't be the formal aliasing model Rust adopts, but this (and stacked borrows before it) are important for figuring out what sorts of undefined behavior are actually needed for the desired optimizations to work without resulting in unsound programs.
