Publications

• Stuttering for Free.
  Minki Cho*, Youngju Song*, Dongjae Lee, Lennard Gäher, Derek Dreyer.
  * The first two authors contributed equally to this work.
  International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023).
  [doi]

• Fair Operational Semantics
  Dongjae Lee*, Minki Cho*, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur,
  * The first two authors contributed equally to this work.
  Proceedings of the 44rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
  [paper] [project page]

• Conditional Contextual Refinement.
  Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer.
  Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, January 2023 (POPL 2023).
  [paper: pdf] [project page]

• Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency.
  Minki Cho*, Sung-Hwan Lee*, Dongjae Lee, Chung-Kil Hur, Ori Lahav.
  * 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).
  [paper: pdf] [project page]

Education

• Sep. 2021 - Feb. 2024, M.S., Computer Science and Engineering, Seoul National University
• Mar. 2015 - Aug. 2021, B.S., Computer Science, Seoul National University

Experience

• Jan. 2019 - Aug. 2020, Military Service, ROK Army