Yoann Prak

According to our database, Yoann Prak authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Charon: An Analysis Framework for Rust.

Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko

Proceedings of the Computer Aided Verification - 37th International Conference, 2025