Publications

* equal contribution

Conference Papers


  • Fair Operational Semantics
    Dongjae Lee*, Minki Cho*, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur.
    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] [project page]
  • Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency.
    Minki Cho*, Sung-Hwan Lee*, Dongjae Lee, Chung-Kil Hur, Ori Lahav.
    In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
    [paper: pdf] [project page]