Yulong Huang -

Registered user since Sun 9 Apr 2023

Name:Yulong Huang

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: https://h-yulong.github.io/

GitHub: https://github.com/H-Yulong

Research interests:Dependent type theory, Automated theorem proving, Type-preserving compilation

Contributions

2026

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

VMIL

Author of TEAL: a Total Expressive Assembly Language within the VMIL-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2023

PLDI

Author of Defunctionalization with Dependent Types within the PLDI Research Papers-track