A tour through Ferrocene development

Florian Gilcher

⏱ 90 minute session
14:30-16:00, Saturday, 20th April 2024
Ferrocene is a downstream of the main Rust compiler - rustc - qualified for use in safety-critical systems, such as cars and planes. It is the first of its kind that is completely open source and does not diverge from its source codebase.

But what does that mean exactly? We'd like to take you through the documentation of Ferrocene - and with that, the ways the project works on its correctness.

🏷 rust
🏷 processes
🏷 workflows
🏷 functional-safety

Florian Gilcher

Florian Gilcher has been around Rust for more then a decade. From 2015-2021, Florian was part of the Rust project and Rust foundation leadership.

Nowadays, Florians main concern is bringing Rust into safety-critical systems, together with his company, Ferrous Systems.