Son Ho - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

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

2023

ICFP

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification

Show activities from other conferences

ICFP 2023-profile
View general profile