Rust Search
The trials of qualifying Rust
RustNLThe trials of qualifying Rust by Aïssata Maïga. Ferrocene is the first qualified Rust compiler for use in safety-critical industries. It is a fully open source "blackbox" where the tools included are qualified, but not qualified independently (The question whether LLVM is qualified tends to come back a lot!) This session aims to cover the development history of Ferrocene compiler and how it had to grow organically. From the start, the intuition was that Rust was a solid language with a role to play in the safety critical industry. Fast-forward 4 years and Rust is delivered as a compiler and a toolchain. About Aïssata Maïga (she/her): I am a Software Engineer passionate about embedded Rust. I wrote a thesis “Does Rust SPARK joy? Safe Bindings from Rust to SPARK” which excellent title completely outshines its content. I work on the Ferrocene compiler, which aims to bring Rust to safety critical. That is, our cars, our medical devices, or our robots, to make them safer! I used to do a lot of embedded Rust and training materials for ESP32 and Arm boards. Hopeful to continue with something similar soon! I live in Sweden with my family. This talk was given at RustWeek 2026 as part of the Compiler track on Tuesday 19 May. You can find a playlist of all talks in this track at https://www.youtube.com/playlist?list=PL8Q1w7Ff68DAAvGHe77-pRAPdUfgC0P6b, and a playlist of all RustWeek 2026 talks at https://www.youtube.com/playlist?list=PL8Q1w7Ff68DBpmF38rcIAf8Z9Gj2TnlgM For information about RustWeek 2027, go to https://2027.rustweek.org. We hope to see you there!
