Research Assistant

Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University

Personal website: here
Email: dongjae.lee (at)
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)


  • 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]


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


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