RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019)

The link in the page was always broken or rotted, this appears to be the right link:

http://plv.mpi-sws.org/rustbelt/