OxidizeConf 2025

An intro to the world of auditing Rust code

Breaking language barriers:High-performance IPC with iceoryx2

Christian Eltzschig

Bridging robotics and systems programming:Why Copper is a game changer

Guillaume Binet

Building Kiteshield: A journey from prototype to safety-critical

Creating a custom test harness for advanced test setups

Manfred Tonch and Leon Matthes

Designing a cross-platform library for encrypted messaging

gccrs: An alternative compiler for Rust

Keeping humans safe around robots with Rust

Lost in translation?! Robotics with type-safe coordinate systems

Oxidize Lightning Talks: Andre Schmitz

Andre Schmitz

Oxidize Lightning Talks: Drew Ridley

Drew Ridley

Oxidize Lightning Talks: Friedrich Rockenbauer

Friedrich Rockenbauer

Oxidize Lightning Talks: Massimiliano Mantione

Massimiliano Mantione

Oxidize Lightning Talks: Michael Völkl

Michael Völkl

Oxidizing KDE: How, why, and why not?

Nicolas Fella

Panel: Rust and C++ can work together! hosted by Till Adam

Till Adam

Panel: Rust in Safety Critical hosted by Florian Gilcher

Rewrite, optimize, repeat: Our journey porting a triemap from C to Rust

Lucas Palmieri

Rewriting space mission analysis in Rust

Helge Eichhorn

Rust for large-scale automotive applications

Jonas Wolf

Rust for Safe and Scalable Automotive: Insights from Eclipse SDV and the Trusted Software Framework

Ansgar Lindwedel

Safety monitor: Using Rust in mixed-criticality Linux systems

Validating Rust for industry: Certification meets formal analysis