Sacha Ayoun PhD Student
Sacha was a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. He completed his PhD in 2025.
As an undergraduate, Sacha worked at the French Alternative and Atomic Energy Commission (CEA) as a researcher-engineer intern in 2017. His goal was to improve the Frame-C abstract interpreter to better handle file descriptors. In 2018 he completed his Supelec Engineer Diploma at CentraleSupelec as well as his MSc in Advanced Computing at Imperial.
Group Publications
-
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2026
-
Compositional Symbolic Execution for the Next 700 Memory Models
- Andreas Lööw
- Seung Hoon Park
- Daniele Nantes-Sobrinho
- Sacha-Élie Ayoun
- Opale Sjöstedt
- Philippa Gardner
OOPSLA 2025
-
A Hybrid Approach to Semi-automated Rust Verification
- Sacha-Élie Ayoun
- Xavier Denis
- Petar Maksimović
- Philippa Gardner
PLDI 2025
-
Gillian: Foundations, Implementation, and Applications of Compositional Symbolic Execution
Ph.D. Thesis, Imperial College London, 2025
-
Matching Plans for Frame Inference in Compositional Reasoning
ECOOP 2024
-
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
- Andreas Lööw
- Daniele Nantes-Sobrinho
- Sacha-Élie Ayoun
- Caroline Cronjäger
- Petar Maksimović
- Philippa Gardner
ECOOP 2024
-
Symbolic Debugging with Gillian
Future Debugging Techniques (DEBT) @ ECOOP 2023
-
Gillian, Part II: Real-World Verification for JavaScript and C
- Petar Maksimovic
- Sacha-Élie Ayoun
- José Fragoso Santos
- Philippa Gardner
CAV 2021
-
Gillian, Part I: A Multi-language Platform for Symbolic Execution
PLDI 2020