Sacha-Élie Ayoun
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Philippa Gardner17 talks
- Roland Meyer9 talks
- Petar Maksimovic4 talks
- Bryan Parno22 talks
- Andrés Goens6 talks
- Alexander J. Summers13 talks
| title | conference | date |
|---|---|---|
| Compositional Symbolic Execution for the Next 700 Memory Models | OOPSLA 2025 | 2025-10-16 |
Presents a mechanized formal foundation for memory-model‑parametric compositional symbolic execution, claiming soundness for both separation logic and… | ||
| 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… | ||
| Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type(…) | TPSA 2025 | 2025-01-19 |
Claims a fully automatic under-approximate method that refutes type soundness in libraries by encoding type assignments as separation-logic assertions and… | ||
| Unified Compositional Formal Methods: Exact Separation Logic and the Gi... | Incorrectness 2024 | 2024-01-17 |
Claims a single exact separation logic (ESL) that is sound for both over‑approximate verification and under‑approximate bug finding, formalizes an… | ||
| nothing matches | ||