REGISTRATION & COFFEE (FOYER)
Rust for Safety Critical Systems
 
                  Using Rust in an existing C++ application
 
                  Building Embedded GUIs with Rust
 
                  Making a Rust project Trustable
 
                   
                  Why Rust?
 
                  WORKSHOPS END
REGISTRATION & COFFEE (FOYER)
Opening Remarks
Rust for Safe and Scalable Automotive Innovation:
 Insights from Eclipse SDV and the Trusted Software Framework
 
                   
                  COFFEE
Breaking language barriers: High-performance IPC with iceoryx2
 
                  Rewrite, optimize, repeat: our journey porting a triemap from C to Rust
 
                  Creating a custom test harness for advanced test setups
 
                   
                  LUNCH
Oxidizing KDE: How, why, and why not?
 
                  PANEL: Rust and C++ can work together!
COFFEE
Designing a cross-platform library for encrypted messaging
 
                   
                  Safety monitor: Using Rust in mixed-criticality Linux systems
 
                  gccrs: An alternative compiler for Rust
 
                  Lightning Talks
Closing remarks
Socialize at Oxidize!
REGISTRATION & COFFEE (FOYER)
Opening Remarks
An intro to the world of auditing Rust code
 
                  Rust for large-scale automotive applications
 
                  COFFEE
Validating Rust for industry - Certification meets formal analysis
 
                   
                  Rewriting space mission analysis in Rust
 
                  PANEL: Rust in Safety Critical
LUNCH
Keeping humans safe around robots with Rust
 
                  Bridging robotics and systems programming: Why Copper is a game changer
 
                  Lost in Translation?! Robotics with type-safe coordinate systems
 
                  COFFEE
Building Kiteshield: A journey from prototype to safety-critical
 
                  Closing Remarks