Concepedia

Chung-Kil Hur

CH

40

Publications

1.9K

Citations

25

H-Index

2007

Active since

Affiliations

Seoul National University(Current)

Max Planck Institute for Software Systems

Microsoft Research (United Kingdom)

University of Cambridge

Microsoft (United States)

Chung-Kil Hur is an author at Seoul National University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisVerificationCompilersComputer Engineering

Publications per year

2007–2023

40

Publications

40

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 154 citations

Engineering, Verification, Computer Architecture +20

A promising semantics for relaxed-memory concurrency

Jeehoon Kang, Chung-Kil Hur, Ori Lahav et al. · 2016 · 136 citations

Concurrent Programming Languages, Promising Semantics, Engineering +21

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 123 citations · Full text

Engineering, Verification, Software Analysis +16

Biorthogonality, step-indexing and compiler correctness

Nick Benton, Chung-Kil Hur · 2009 · 119 citations

Engineering, Compiler Technology, Verification +19

The power of parameterization in coinductive proof

Chung-Kil Hur, Georg Neis, Derek Dreyer et al. · 2013 · 93 citations

Engineering, Coinductive Proofs, Coinductive Proof +12

Rows per page

1–5 of 40