Dongjae Lee

Ph.D. student, MIT PDOS

I’m a Ph.D. student at MIT PDOS, advised by Frans Kaashoek and Nickolai Zeldovich. 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 got my B.S. and M.S. from Seoul National University. My advisor was Chung-Kil Hur.

email: dongjael [at] mit [dot] edu

cv, google scholar, github

Publications

* equal contribution

Conference Papers


  • Refinement Composition Logic
    Youngju Song, Dongjae Lee,
    International Conference on Functional Programming (ICFP 2024)
    [doi]
  • 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)
    [doi]
  • 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]

Preprints


  • 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.
    [draft]