| Promising 2.0: global optimizations in relaxed memory concurrency SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 62 | 2020 |
| CompCertM: CompCert with C-assembly linking and lightweight modular verification Y Song, M Cho, D Kim, Y Kim, J Kang, CK Hur Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2020 | 41 | 2020 |
| Conditional Contextual Refinement Y Song, M Cho, D Lee, CK Hur, M Sammler, D Dreyer Proceedings of the ACM on Programming Languages 7 (POPL), 1121-1151, 2023 | 23 | 2023 |
| Modular data-race-freedom guarantees in the promising semantics M Cho, SH Lee, CK Hur, O Lahav Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 18 | 2021 |
| Sequential reasoning for optimizing compilers under weak memory concurrency M Cho, SH Lee, D Lee, CK Hur, O Lahav Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 11 | 2022 |
| Fair Operational Semantics D Lee, M Cho, J Kim, S Moon, Y Song, CK Hur Proceedings of the ACM on Programming Languages 7 (PLDI), 811-834, 2023 | 7 | 2023 |
| Putting Weak Memory in Order via a Promising Intermediate Representation SH Lee, M Cho, R Margalit, CK Hur, O Lahav Proceedings of the ACM on Programming Languages 7 (PLDI), 1872-1895, 2023 | 5 | 2023 |
| Stuttering for Free M Cho, Y Song, D Lee, L Gäher, D Dreyer Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1677-1704, 2023 | 4 | 2023 |
