Sacha-Élie Ayoun

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Symbolic Execution

Test Generation

Top Venues

Publications

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)