Steve Barriault
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Ken Briodaghonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Trust In Soft at embedded world North America 2026 | embedded world North America 2026 | 2026-09-22 |
Tool claims full formal verification for C C++ and Rust that finds all runtime errors while keeping false positives low and analyses fast, and uses AI… | ||
| How To Make Formal Methods A Software Quality Solution That Can Actually Be Used In The Industry | C++Now 2026 | 2026-05-04 |
Formal methods are presented as exhaustive for given input ranges via value analysis and abstract interpretation, guaranteeing no false negatives while still… | ||
| Powering Up RISC-V Excellent, Secure and Maintainable Software | embedded world 2023 | 2023-03-14 |
Canonical ports Ubuntu Core to RISC‑V with 93% package coverage across supported boards, packaging apps as snap (squashfs) bundles, enabling transactional OTA… | ||
| nothing matches | ||