Statistics
Publications
6
Citations
114
H-Index
6
Active since
2021
Affiliations
Dongjae Lee is an author at Seoul National University specializing in formal methods, programming languages, and computer science.
Publications per year
2021–2024
6
6
Dongjae Lee, Sung‐Jin Lee, Jieun Choi et al. · Journal of Medicinal Chemistry · 2021 · 40 citations · Full text
Conditional Contextual Refinement
Youngju Song, Minki Cho, Dongjae Lee et al. · Proceedings of the ACM on Programming Languages · 2023 · 27 citations · Full text
Sequential reasoning for optimizing compilers under weak memory concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee et al. · 2022 · 11 citations · Full text
Minki Cho, Youngju Song, Dongjae Lee et al. · Proceedings of the ACM on Programming Languages · 2023 · 11 citations · Full text
1–5 of 6