Rolland Dudemaine
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aïssata Maigaonce
who talks about the same things
nobody close enough yet
| 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… | ||
| INTEGRITY from Green Hills Software | Qt Developer Days Munich 2011 | 2011-10-24 |
Port of Qt to the INTEGRITY separation kernel compiles and runs across ARM Intel PowerPC MIPS, using the POSIX layer and a framebuffer by default with OpenGL… | ||
| nothing matches | ||