Cyrille Artho
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 1 in the filters
on a stage with
- Aïssata Maigaonce
- Florian Gilcheronce
- Peter Csaba Ölveczkyonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Discussions, Closing | FTSCS 2023 | 2023-10-22 |
Workshop organizers report fewer submissions than expected and trace the drop to deadline clustering with related venues and rising AI/ML interest, propose… | ||
| nothing matches | ||