Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sungkeun Cho
conf.researchr.org general profile
PLDI 2018 profile
Not registered as user yet
Name:
Sungkeun Cho
Affiliation:
Seoul National University, South Korea
Contributions
2018
PLDI
Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
Share
x
Thu 25 Apr 23:31