| layout | title | permalink |
|---|---|---|
page |
Publications |
/publications/ |
- 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].