Follow
Minki Cho
Minki Cho
Compiler Engineer, FuriosaAI
Verified email at furiosa.ai - Homepage
Title
Cited by
Cited by
Year
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
542020
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
362020
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
162023
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
152021
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
52022
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
32023
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
22023
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
2023
The system can't perform the operation now. Try again later.
Articles 1–8