Chung-Kil Hur
Seoul National University(KR)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Repairing sequential consistency in C/C++11(2017)155 cited
- → A promising semantics for relaxed-memory concurrency(2016)136 cited
- → Interaction trees: representing recursive and impure programs in Coq(2019)124 cited
- → Biorthogonality, step-indexing and compiler correctness(2009)119 cited
- → The power of parameterization in coinductive proof(2013)93 cited
- → Pilsner: a compositionally verified compiler for a higher-order imperative language(2015)91 cited
- → R2: An Efficient MCMC Sampler for Probabilistic Programs(2014)89 cited
- → Alive2: bounded translation validation for LLVM(2021)86 cited
- → Strongly Typed Term Representations in Coq(2011)76 cited
- → A kripke logical relation between ML and assembly(2011)69 cited