Son Ho

According to our database, Son Ho authored at least 13 papers between 2006 and 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

2024

Formal Verification of Rust Programs by Functional Translation. (Vérification formelle de programmes Rust par traduction fonctionnelle).

Son Ho

PhD thesis, 2024

Sound Borrow-Checking for Rust via Symbolic Semantics.

Son Ho, Aymeric Fromherz, Jonathan Protzenko

Proc. ACM Program. Lang., 2024

Incremental Proof Development in Dafny with Module-Based Induction.

Son Ho, Clément Pit-Claudel

CoRR, 2024

2023

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.

Son Ho, Aymeric Fromherz, Jonathan Protzenko

Proc. ACM Program. Lang., August, 2023

2022

Aeneas: Rust verification by functional translation.

Son Ho, Jonathan Protzenko

Proc. ACM Program. Lang., 2022

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).

Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan

IACR Cryptol. ePrint Arch., 2022

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.

Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Zero-cost meta-programmed stateful functors in F.

Jonathan Protzenko, Son Ho

CoRR, 2021

2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions.

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

J. Autom. Reason., 2020

2018

Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.

Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2006

On introducing approximate solution methods in theory of elasticity.

Autar K. Kaw, Son Ho

Comput. Appl. Eng. Educ., 2006