Sacha-Élie Ayoun
Scholar

Sacha-Élie Ayoun

Google Scholar ID: u6hoSzgAAAAJ
Imperial College London
computer scienceprogram verificationstatic analysissymbolic executionmemory models
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
152
 
H-index
5
 
i10-index
4
 
Publications
14
 
Co-authors
0
 
Contact
No contact links provided.
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)