On introducing approximate solution methods in theory of elasticity. - Autar K. Kaw; Son Ho (Comput. Appl. Eng. Educ., 2006)

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 (IJCAR, 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 (VSTTE, 2018)

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)

Zero-cost meta-programmed stateful functors in F. - Jonathan Protzenko; Son Ho (CoRR, 2021)

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. - Son Ho; Jonathan Protzenko; Abhishek Bichhawat; Karthikeyan Bhargavan (SP, 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)

Aeneas: Rust verification by functional translation. - Son Ho; Jonathan Protzenko (Proc. ACM Program. Lang., 2022)

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. - Son Ho; Aymeric Fromherz; Jonathan Protzenko (Proc. ACM Program. Lang., 2023)

Incremental Proof Development in Dafny with Module-Based Induction. - Son Ho; Clément Pit-Claudel (CoRR, 2024)

Sound Borrow-Checking for Rust via Symbolic Semantics. - Son Ho; Aymeric Fromherz; Jonathan Protzenko (Proc. ACM Program. Lang., 2024)

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

Charon: An Analysis Framework for Rust. - Son Ho; Guillaume Boisseau; Lucas Franceschino; Yoann Prak; Aymeric Fromherz; Jonathan Protzenko (CAV (4), 2025)