Chung-Kil Hur

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Alive2: bounded translation validation for LLVM

Nuno P. Lopes and others (2021)

Promising-ARM/RISC-V: a simpler and faster operational concurrency model

Christopher Pulte and others (2019) · ACM

A promising semantics for relaxed-memory concurrency

Jeehoon Kang and others (2017)

Repairing sequential consistency in C/C++11

Ori Lahav and others (2017) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation