Stacked Borrows - An Aliasing Model for Rust

Presented by Ralf Jung.