Safety and Interoperability with Rust and C++

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

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 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

まだレビューはありません