Scholar
Sacha-Élie Ayoun
Google Scholar ID: u6hoSzgAAAAJ
Imperial College London
computer science
program verification
static analysis
symbolic execution
memory models
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
152
H-index
5
i10-index
4
Publications
14
Co-authors
0
Publications
4 items
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
2026
Cited
0
Soteria: Efficient Symbolic Execution as a Functional Library
2025
Cited
0
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
2025
Cited
0
A hybrid approach to semi-automated Rust verification
arXiv.org · 2024
Cited
6
