Sacha-lie Ayoun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees. | Nat Karmios, Sacha-lie Ayoun, Philippa Gardner |
| 2025 | ECOOP | Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. | Pedro Carrott, Sacha-lie Ayoun, Azalea Raad |
| 2024 | ECOOP | Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner |
| 2024 | ECOOP | Matching Plans for Frame Inference in Compositional Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Petar Maksimovic, Philippa Gardner |
| 2021 | CAV | Gillian, Part II: Real-World Verification for JavaScript and C. | Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner |
| 2020 | PLDI | Gillian, part i: a multi-language platform for symbolic execution. | Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner |