Safety and Interoperability with Rust and C++

Failed to add items

Sorry, we are unable to add the item because your shopping basket is already at capacity.

Add to cart failed.

Please try again later

Add to wishlist failed.

Please try again later

Remove from wishlist failed.

Please try again later

Follow podcast failed

Unfollow podcast failed

Safety and Interoperability with Rust and C++

Listen for free

View show details

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 Joncppcast@shumi.org. 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

No reviews yet