Dongjae Lee

Master's student in CSE at Seoul National University

I am interested in program verification. Specifically, I investigate what it means for a program to be correct, develop proof techniques, and write programs and prove them correct.

I have worked on, and am working on, verified compilers, concurrency, security, and developing proof techniques.

I am applying for a PhD this year!


* equal contribution

Conference Papers

  • Stuttering for Free
    Minki Cho*, Youngju Song*, Dongjae Lee, Lennard Gäher, Derek Dreyer.
    International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023)
  • Fair Operational Semantics
    Dongjae Lee*, Minki Cho*, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur.
    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.
    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.
    Conference on Programming Language Design and Implementation (PLDI 2022).
    [paper: pdf] [project page]