Write a Blog >>

Not registered as user yet

Name: Yonghyun Kim

Affiliation: Seoul National University, South Korea

Contributions

POPL 2020 CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
Show activities from other conferences

POPL 2020-profile
View general profile