Sacha-Élie Ayoun

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

Collaborative distances:

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

2026

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

CoRR, February, 2026

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Soteria: Efficient Symbolic Execution as a Functional Library.

Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad

CoRR, November, 2025

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version).

Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner

CoRR, August, 2025

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

Proc. ACM Program. Lang., 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