Gillian, part i: a multi-language platform for symbolic execution J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 36 | 2020 |
Gillian, part II: real-world verification for javascript and C P Maksimović, SÉ Ayoun, JF Santos, P Gardner Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 20 | 2021 |
Gillian: A Multi-Language Platform for Unified Symbolic Analysis P Maksimović, JF Santos, SÉ Ayoun, P Gardner arXiv preprint arXiv:2105.14769, 2021 | 3 | 2021 |
Symbolic Debugging with Gillian N Karmios, SÉ Ayoun, P Gardner Proceedings of the 1st ACM International Workshop on Future Debugging …, 2023 | 2 | 2023 |
A hybrid approach to semi-automated Rust verification SÉ Ayoun, X Denis, P Maksimović, P Gardner arXiv preprint arXiv:2403.15122, 2024 | | 2024 |
Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning A Lööw, DN Sobrinho, SÉ Ayoun, N Karmios, SH Park, P Maksimović, ... | | |