November 24, 2021 Alina RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019)