Skip to the primary navigation.
Skip to the content.

C++Now 2025 Session Announcement: Identifying Runtime Errors in Mixed C++ and Rust Codebases Using Formal Methods by Steve Barriault

[[Friday April 11, 2025]]

By digitalmedium1

C++Now 2025 SESSION ANNOUNCEMENT: Identifying Runtime Errors in Mixed C++ and Rust Codebases Using Formal Methods by Steve Barriault

Identifying Runtime Errors in Mixed C++ and Rust Codebases Using Formal Methods

Register now at https://cppnow.org/registration/

Previous:C++Now 2025 Session Announcement: Building Streams out of Hot Air - Coinductive Types in C++ Senders by Steve Downey

Next:C++Now 2025 Session Announcement: C++ as a Microscope Into Hardware by Linus Boehm