Ph.D.
Department of Computer Science and Engineering at Seoul National University
Email

I graduated in August 2023. This page will not be updated.
Please visit my new website for up-to-date information.

Research Interests

• Verified Compilation
• Relaxed Memory Concurrency
• Program Logic

Publications

(* co-first authors)

• Stuttering for Free
  Minki Cho*, Youngju Song*, Dongjae Lee, Lennard Gäher, Derek Dreyer
  Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023)
  [paper] [project page]
• Fair Operational Semantics
  Dongjae Lee*, Minki Cho*, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
  [paper] [project page]
• Putting Weak Memory in Order via a Promising Intermediate Representation
  Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
  Proceedings of the 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 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)
  [paper] [project page]
• Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
  Minki Cho*, Sung-Hwan Lee*, Dongjae Lee, Chung-Kil Hur, Ori Lahav
  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)
  [paper] [project page]
• Modular Data-Race-Freedom Guarantees in the Promising Semantics
  Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)
  [paper] [project page]
• Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
  Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)
  [paper] [project page]
• CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
  Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
  Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)
  [paper] [project page]

Education

• Sep. 2017 - Aug. 2023, Ph.D. Computer Science and Engineering, Seoul National University
• Thesis: Simplifying Reasoning under Weak Memory Concurrency
• Mar. 2014 - Feb. 2017, B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics, (double major) Seoul National University
• Mar. 2011 - Feb. 2014, Seoul Science High School

Awards

• PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University. 2023
• Gold medal in University Students Contest of Mathematics (대한수학회 대학생 수학경시대회), Korean Mathematical Society. 2014

Teaching

• TA, Computational Civilization, 2020 Spring (Prof. Kwangkeun Yi)
• TA, Programming Languages, 2019 Fall (Prof. Kwangkeun Yi)
• TA, Principles and Practices of Software Development, 2019 Spring / 2018 Spring (Prof. Chung-Kil Hur)
• TA, Principles of Programming, 2018 Fall (Prof. Chung-Kil Hur)