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

2025

POPL

Student Volunteer Co-Chair in Organizing Committee

TPSA

Committee Member in Program Committee within the TPSA 2025-track

2024

ECOOP

Author of Compositional Symbolic Execution for Correctness and Incorrectness Reasoning within the Technical Papers-track
Author of Matching Plans for Frame Inference in Compositional Reasoning within the Technical Papers-track

POPL

Student Volunteer Co-Chair in Organizing Committee

Formal Methods for Incorrectness

Author of Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning within the Incorrectness-track

2023

DEBT

Author of Symbolic Debugging with Gillian within the DEBT 2023-track

2022

VMCAI

Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track

2021

PLMW

2020

PLDI

Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track

DeepSpec

Author of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track