Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency. Minki Cho*,
* The first two authors contributed equally to this work.
In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
Sep. 2021 - Current, M.S. Student, Computer Science and Engineering, Seoul National University
Mar. 2015 - Aug. 2021, B.S., Computer Science, Seoul National University