Sacha-Élie Ayoun

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Test Generation

Symbolic Execution

Defeasible Logic

Top Venues

Publications

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
A hybrid approach to semi-automated Rust verification. CoRR (2024)
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version). CoRR (2024)
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
Symbolic Debugging with Gillian. DEBT@SIGMOD (2023)
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
Exact Separation Logic. CoRR (2022)
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
Gillian: A Multi-Language Platform for Unified Symbolic Analysis. CoRR (2021)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
Gillian, Part II: Real-World Verification for JavaScript and C. CAV (2) (2021)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian, part i: a multi-language platform for symbolic execution. PLDI (2020)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian: Compositional Symbolic Execution for All. CoRR (2020)