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