Interior Mutability is for Everyone!
One of the distinguishing features of Rust is Ownership. But what happens when ownership is incompatible with your system design or data structures? I'll discuss how "Interior Mutability" lets us circumvent ownership safely, how the Tock operating system uses it ubiquitously, and what you give up by using it.
Amit Levy is an assistant professor at Princeton who's research looks at how to leverage type-safe languages to build better and more security operating systems. He main project these days is a new secure operating system for low-memory microcontrollers, written in Rust, called Tock.