Aïssata Maiga
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Cyrille Arthoonce
- Florian Gilcheronce
- Henrik Alséronce
all 5 in the filters
who talks about the same things
- Eivind Bergem2 talks
- Alexandru Radovici10 talks
- Martin Mosler3 talks
- Chang Sau Sheong10 talks
- Ulf Lilleengen6 talks
- E. Dunham2 talks
| title | conference | date |
|---|---|---|
| Validating Rust for industry: Certification meets formal analysis | Oxidize 2025 | 2025-09-16 |
Claims a workflow that pairs TrustInSoft Analyzer (abstract interpretation, no full build required—uses build trace) with a Ferosin SDK (qualified compiler… | ||
| Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Li... | FTSCS 2023 | 2023-10-22 |
Implements safe Rust→SPARK bindings for a real BBQueue circular buffer, proving the approach works after iterative fixes and testing. Mirrors Rust types as… | ||
| Embed it yourself | EuroRust 2022 | 2022-10-13 |
Concrete starting points and gotchas: shows flashing a blinky app via cargo and cortex-m-rt, using probe-rs and embedded-hal drivers, and running code on… | ||
| Build your own (Rust-y) robot! | RustFest Global 2020 | 2020-11-07 |
Adapts an Arduino obstacle‑avoiding smart car to no-std Rust and actually runs — servo, ultrasonic sensor and motor driver all work in the demo. Uses an… | ||
| nothing matches | ||