Chung Kil Hur

Chung Kil Hur

Seoul National University - Seoul / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 338905
서울대학교
person_outline Chung Kil Hur's MOST POPULAR ARTICLES
1-) Repairing sequential consistency in C/C++ 11O Lahav, V Vafeiadis, J Kang, CK Hur, D DreyerACM SIGPLAN Notices 52 (6), 618-632, 20171812017
2-) A promising semantics for relaxed-memory concurrencyJ Kang, CK Hur, O Lahav, V Vafeiadis, D DreyerACM SIGPLAN Notices 52 (1), 175-189, 20171712017
3-) Interaction trees: representing recursive and impure programs in CoqL Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S ZdancewicProceedings of the ACM on Programming Languages 4 (POPL), 1-32, 20191462019
4-) R2: An efficient MCMC sampler for probabilistic programsA Nori, CK Hur, S Rajamani, S SamuelProceedings of the AAAI Conference on Artificial Intelligence 28 (1), 20141412014
5-) Biorthogonality, step-indexing and compiler correctnessN Benton, CK HurACM Sigplan Notices 44 (9), 97-108, 20091402009