Sacha-Élie Ayoun

According to our database, Sacha-Élie Ayoun authored at least 13 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Hybrid Approach to Semi-automated Rust Verification.

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner

Proc. ACM Program. Lang., 2025

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact).

Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad

Dagstuhl Artifacts Ser., 2025

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness.

Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

CoRR, 2024

Matching Plans for Frame Inference in Compositional Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Symbolic Debugging with Gillian.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022

Exact Separation Logic.

Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2022

2021

Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Gillian: Compositional Symbolic Execution for All.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020