Sacha-Élie Ayoun

19 papers A* 1A 3Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version.
CoRR
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
2026 — conf
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees.
TACAS (2)
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
2025 J jnl
A Hybrid Approach to Semi-automated Rust Verification.
Proc. ACM Program. Lang.
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2025 J jnl
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact).
Dagstuhl Artifacts Ser.
Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad
2025 A conf
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness.
ECOOP
Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad
2025 J jnl
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version).
CoRR
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner
2025 J jnl
Compositional Symbolic Execution for the Next 700 Memory Models.
Proc. ACM Program. Lang.
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner
2025 J jnl
Soteria: Efficient Symbolic Execution as a Functional Library.
CoRR
Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad
2024 J jnl
A hybrid approach to semi-automated Rust verification.
CoRR
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).
Dagstuhl Artifacts Ser.
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).
CoRR
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Matching Plans for Frame Inference in Compositional Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner
2023 — conf
Symbolic Debugging with Gillian.
DEBT@ISSTA
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
2022 J jnl
Exact Separation Logic.
CoRR
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
2021 — conf
Gillian, Part II: Real-World Verification for JavaScript and C.
CAV (2)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
2021 J jnl
Gillian: A Multi-Language Platform for Unified Symbolic Analysis.
CoRR
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
2020 A* conf
Gillian, part i: a multi-language platform for symbolic execution.
PLDI
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
2020 J jnl
Gillian: Compositional Symbolic Execution for All.
CoRR
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner