Publications

Aeneas: Rust verification by functional translation, Son Ho, Jonathan Protzenko, International Conference on Functional Programming (ICFP), 2022. Long version.
Sound Borrow-Checking for Rust via Symbolic Semantics, Son Ho, Aymeric Fromherz, Jonathan Protzenko, International Conference on Functional Programming (ICFP), 2024. Long version.
Charon: An Analysis Framework for Rust, Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko, Preprint, 2024.