Son Ho

Orcid: 0000-0003-3297-9156

According to our database1, Son Ho authored at least 11 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sound Borrow-Checking for Rust via Symbolic Semantics.
Proc. ACM Program. Lang., 2024

Incremental Proof Development in Dafny with Module-Based Induction.
CoRR, 2024

2023
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.
Proc. ACM Program. Lang., August, 2023

2022
Aeneas: Rust verification by functional translation.
Proc. ACM Program. Lang., 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
Zero-cost meta-programmed stateful functors in F.
CoRR, 2021

2020
Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
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
On introducing approximate solution methods in theory of elasticity.
Comput. Appl. Eng. Educ., 2006


  Loading...