Oxidize 2025
who it's for
rust systems developers, safety critical engineers, automotive engineers, robotics engineers, c++ interoperability engineers, compiler contributors, library and tooling authors
topics
zero-copy shared memory IPC (iceoryx); rust and c++ interop (CXX family); python bindings via pyo3; single-allocation trie map port; custom test harness (libtest-mimic, linkme); mixed-criticality linux safety monitor; ASIL / SIL certification and formal analysis; gccrs front end for gcc; uniffi and wasm-bindgen bindings; type-safe coordinate systems for robotics; designing encrypted messaging core
| title | author | length |
|---|---|---|
| Rewriting space mission analysis in Rust | Helge Eichhorn | 28m |
Libre Space Foundation replaces a vanished astrodynamics dependency by reimplementing the kernel in Rust, exposing it to Python with Python bindings via pyo3… | ||
| Oxidizing KDE: How, why, and why not? | Nicolas Fella | 33m |
KDE runs ~15 million lines of code across ~1,000 projects, mostly C++/Qt, and Rust currently appears as small, focused components (ad‑blocking, HTML/CSS… | ||
| Creating a custom test harness for advanced test setups | Manfred Tonch, Leon Matthes | 27m |
Explains how to opt out of Cargo’s automatic harness, replace the runner with libtest-mimic, and solve compile-time discovery using linkme; introduces the… | ||
| Breaking language barriers:High-performance IPC with iceoryx2 | Christian Eltzschig | 35m |
iceoryx2 is a Rust-based, zero-copy IPC middleware that lets a Rust camera driver publish full‑HD frames into shared memory, a C++ ASIL‑certified object… | ||
| Rewrite, optimize, repeat: Our journey porting a triemap from C to Rust | Lucas Palmieri | 30m |
Ported a C TrieMap used inside Redis’ query engine (the C codebase is ~63,000 LOC) into Rust, starting with a simplified baseline, adding microbenchmarks and… | ||
| Safety monitor: Using Rust in mixed-criticality Linux systems | Daniel Silverstone | 29m |
Safety Monitor is an open-source Linux daemon written in Rust that runs on systemd-based distributions and aims to be usable in mixed‑criticality systems up to… | ||
| Oxidize Lightning Talks – Massimiliano Mantione | Massimiliano Mantione | 05m |
A process for migrating a hard, performance‑critical C++ algorithm to Rust through incremental work: start by becoming proficient in Rust, win management… | ||
| Designing a cross-platform library for encrypted messaging | Theo von Arx, Lennert Grahl | 24m |
Threema replaces three diverging codebases (iOS, Android, desktop) with a Rust core that models protocol flows as blackbox state machines, exposed over FFI so… | ||
| Rust for Safe and Scalable Automotive: Insights from | Ansgar Lindwedel, Daniel Silverstone | 56m |
Rust eliminates many classic C pitfalls: a hand-conversion of C safety lint checks into idiomatic Rust shows 62% compile-time mitigated, ~25% mitigated at… | ||
| gccrs: An alternative compiler for Rust | Arthur Cohen | 30m |
Project adds Rust front end to GCC and is five years into full-time work with two full-time engineers and ~50 contributors. It targets Rust 1.49 today while… | ||
| Panel: Rust and C++ can work together! | Till Adam | 42m |
Panelists argue practical interoperability: Slint exposes a Rust core with C++ bindings and had to reimplement vtables so types stay idiomatic across… | ||
| Oxidize Lightning Talks – Andre Schmitz | Andre Schmitz | 05m |
Greenil starts as a compiler vendor for the 68000 family with Apple as an early customer and now ships two RTOSes: MicroVelocity for microcontrollers and… | ||
| Oxidize Lightning Talks – Friedrich Rockenbauer | Friedrich Rockenbauer | 04m |
Company Didalian moves from a massive Python ML stack to Rust for middleware after half the codebase rewritten in two weekends, keeping C++ for a no-stdlib… | ||
| Oxidize Lightning Talks – Michael Völkl | Michael Völkl | 04m |
Five-minute lightning update that asks for help rather than teaches: requests experience on hiring juniors, on scaling a dev team from 8–15 to about 20, and on… | ||
| Oxidize Lightning Talks – Drew Ridley | Drew Ridley | 02m |
Macroscope implements compile-time reflection in stable Rust by hijacking a proc macro to reinvoke rustc and query the compiler type cache. It claims extra… | ||
| An intro to the world of auditing Rust code | Morgan Hill | 35m |
Shows concrete Rust bugs and fixes: a dev-server passes unchecked paths to fs::read causing a directory traversal fixed by canonicalizing and scoping reads… | ||
| Panel: Rust in Safety Critical | Florian Gilcher | 46m |
Panel documents concrete hurdles and wins: Rust’s type system enables easier formal verification and the community treats unsafe as a manageable, reviewable… | ||
| Rust for large-scale automotive applications | Jonas Wolf | 40m |
Vector reports Rust reduces development cost by roughly 20% cheaper development through fewer static-analysis and memory-corruption steps, smaller review… | ||
| Validating Rust for industry: Certification meets formal analysis | Rolland Dudemaine, Aïssata Maiga | 31m |
Claims a workflow that pairs TrustInSoft Analyzer (abstract interpretation, no full build required—uses build trace) with a Ferosin SDK (qualified compiler… | ||
| Keeping humans safe around robots with Rust | Espen Albrektsen | 30m |
Sonair builds an functional safety-certified ADAR sensor concept using Rust on a multicore Cortex‑A platform, moving from Raspberry Pi prototypes to bare‑metal… | ||
| Bridging robotics and systems programming:Why Copper is a game changer | Guillaume Binet | 30m |
Copper is a Rust SDK and runtime that replaces ROS-style async messaging with a compile-time scheduled game-loop, producing a deterministic execution plan and… | ||
| Lost in translation?! Robotics with type-safe coordinate systems | Maximilian Schmidt, Rasmus Mecklenburg, Konrad Nölle | 30m |
Claims that mixing frames becomes impossible by encoding frames into types and checking conversions at compile time; implementation uses generic framed… | ||
| Building Kiteshield: A journey from prototype to safety-critical | Emil Fresk | 34m |
A Rust-based system proves location with ultra-wideband anchors mounted on molded cable segments to create safety bubbles that guarantee autonomous and manual… | ||
| nothing matches | ||