u/typesanitizerin r/ProgrammingLanguages • Recommends
RustBelt: Logical Foundations for the Future of Safe Systems Programming talk
0:00 / 0:00
#rust#rustbelt#formalverification
RustBelt: Logical Foundations for the Future of Safe Systems Programming
Talks with Harley
241 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Derek Dreyer, researcher at MPI-SWS
Advanced. Deep dive for people who know the field.
505 views5 years ago1 recommendation
Programming languagesComputer scienceRustFormal methods and verificationComputation and complexity
Derek Dreyer explains RustBelt, a project focused on formally verifying the safety guarantees of the Rust programming language and its ecosystem.
Details: the-au-forml-lab.github.io/colloquium_talks/Dreyer.htmlWhy it's here
1 person recommends thisWhat people say. Recommended as a foundational talk on the formal verification of Rust's type system and safety guarantees.