Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dongjoo Kim
conf.researchr.org general profile
POPL 2020 profile
Registered user since Thu 2 Sep 2021
Name:
Dongjoo Kim
Affiliation:
Seoul National University
Contributions
2020
POPL
Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track
Share
x
Fri 26 Apr 12:00