conf.researchr.org / Son Ho
Registered user since Sun 5 Jun 2022
Name:Son Ho
Country:France
Affiliation:Inria
Personal website: https://www.sonho.fr/
X (Twitter): https://x.com/sonmarcho
GitHub: https://github.com/sonmarcho
Contributions
2024
ICFP
- Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
- Author of Sound Borrow-Checking for Rust via Symbolic Semantics within the Artifact Evaluation-track
- Author of Aeneas, a framework to verify safe Rust programs within the ICFP Tutorials-track
- Author of Sound Borrow-Checking for Rust via Symbolic Semantics within the ICFP Papers and Events-track
2023
ICFP
- Author of Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification within the ICFP Papers and Events-track
- Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
- Author of Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification within the Artifact Evaluation-track