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