Sacha-Élie Ayoun

According to our database¹, Sacha-Élie Ayoun authored at least 7 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

A hybrid approach to semi-automated Rust verification.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Symbolic Debugging with Gillian.

[BibT_eX]

[DOI]

Nat Karmios

Sacha-Élie Ayoun

Philippa Gardner

Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022

Exact Separation Logic.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

[BibT_eX]

[DOI]

CoRR, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Gillian: Compositional Symbolic Execution for All.

[BibT_eX]

[DOI]

CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Sacha-Élie Ayoun

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...