Safety and Interoperability with Rust and C++

Ürünler eklenemedi

Üzgünüz, sepetiniz kapasiteye ulaştığı için bu ürünü ekleyemedik.

Sepete ekleme başarısız oldu.

Lütfen daha sonra tekrar deneyin

İstek Listesine ekleme başarısız oldu.

Lütfen daha sonra tekrar deneyin

İstek listesinden kaldırma başarısız oldu.

Lütfen daha sonra tekrar deneyin

Kütüphaneye ekleme başarısız oldu

Lütfen tekrar deneyin

Podcast takip edilemedi

Podcast takibi bırakma başarısız oldu.

Safety and Interoperability with Rust and C++

Şimdi ücretsiz dinle, üyelik gerekmez

Program ayrıntılarını görüntüle

Season's Savings | £0.99/mo for 3 months

£5.99/mo after 3 months - terms apply. Cancel monthly

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

Henüz yorum yok