Minki Cho

Promising 2.0: global optimizations in relaxed memory concurrency

Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al. · 2020 · 46 citations · Full text

CompCertM: CompCert with C-assembly linking and lightweight modular verification

Youngju Song, Minki Cho, Dongjoo Kim et al. · Proceedings of the ACM on Programming Languages · 2019 · 45 citations · Full text

Program Checking, Engineering, Hardware Verification Language +23

Conditional Contextual Refinement

Youngju Song, Minki Cho, Dongjae Lee et al. · Proceedings of the ACM on Programming Languages · 2023 · 25 citations · Full text

Engineering, Verification, Semantics +21

Modular data-race-freedom guarantees in the promising semantics

Minki Cho, Sung-Hwan Lee, Chung-Kil Hur et al. · 2021 · 14 citations

Engineering, Compiler Technology, Computer Architecture +22

Sequential reasoning for optimizing compilers under weak memory concurrency

Minki Cho, Sung-Hwan Lee, Dongjae Lee et al. · 2022 · 11 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17