Xavier Denis
where else to find them
what they talk about
- rust1
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Petar Maksimoviconce
- Philippa Gardneronce
- Sacha-Élie Ayounonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| A Hybrid Approach to Semi-automated Rust Verification | PLDI 2025 | 2025-06-16 |
A prototype hybrid verifier links Gillian-Rust (symbolic-execution + separation logic) with Creusot so safe Rust specs are checked automatically while unsafe… | ||
| nothing matches | ||