Safety and Interoperability with Rust and C++

Mathieu and Jason are joined by Jon Bauman to discuss safety and interoperability between Rust and C++. They dig into what "safety" really means (there are several categories of safety), what can and can't be guaranteed, how C++ could become a memory-safe language, and the challenges of making Rust and C++ work well together. Jon is currently looking for sponsorship to continue this important work. You can contact Jon via [email protected]. Links Jon's talks - YouTube playlist P3874R1: Should C++ be a memory-safe language? - Jon Bauman, Timur Doumler, Nevin Liber, Ryan McDougall, Pablo Halpern, Jeff Garland, Jonathan Müller P3874 R1 Should C++ be a memory-safe language? - cplusplus/papers issue #2475 C++ Interoperability Initiative problem statement - Rust Foundation BorrowSanitizer - an LLVM sanitizer for finding aliasing violations across Rust, C and C++ C++/Rust Interop Problem Space Mapping - Rust Project Goals 2025H2 Miri example on the Rust Playground There is no memory safety without thread safety - Ralf Jung RustBelt: Logical Foundations for the Future of Safe Systems Programming - MPI-SWS Understanding and Evolving the Rust Programming Language - Ralf Jung's PhD thesis