1 paper
Merve Gülmez, Thomas Nyman, Christoph Baumann +1
Rust is a popular memory-safe systems programming language. In order to interact with hardware or call into non-Rust libraries, Rust provides \emph{unsafe} language features that s…