Son Ho
Orcid: 0000-0003-3297-9156
According to our database1,
Son Ho
authored at least 11 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
2023
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.
Proc. ACM Program. Lang., August, 2023
2022
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).
IACR Cryptol. ePrint Arch., 2022
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
2021
2020
J. Autom. Reason., 2020
2018
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.
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.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2006
Comput. Appl. Eng. Educ., 2006