conf.researchr.org / Sacha-Élie Ayoun
Registered user since Mon 14 Jan 2019
Name:Sacha-Élie Ayoun
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Formal methods, Program Verification, Programming languages
Contributions
2026
POPL
TPSA
- Author of Specialisation: Context-Dependent Reasoning in Incorrectness Separation Logic within the TPSA 2026-track
- Committee Member in Organizing Committee within the TPSA 2026-track
- Author of Soteria Rust: Efficient Symbolic Execution for Rust within the TPSA 2026-track
- Committee Member in Program Committee within the TPSA 2026-track