Dongjae Lee

Research Assistant at Software Foundations Lab, 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.

email: dongjae.lee [at]

cv, google scholar, github


* 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)
    [doi] [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)
    [doi] [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).
    [doi] [paper] [project page]


  • SECOMP: Formally Secure Compilation of Compartmentalized C Programs
    Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Cătălin Hrițcu, Andrew Tolmach.