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