Yannick Moy
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 2 in the filters
on a stage with
- Aïssata Maigaonce
- Cyrille Arthoonce
- Florian Gilcheronce
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… | ||
| Proving the Correctness of GNAT Light Runtime Library | FOSDEM 2022 | 2022-02-05 |
As a programming language, Ada offers a number of features that require runtime support, e.g. exception propagation or concurrency (tasks, protected objects)… | ||
| nothing matches | ||