Follow
Dongjae Lee
Title
Cited by
Cited by
Year
Conditional Contextual Refinement
Y Song, M Cho, D Lee, CK Hur, M Sammler, D Dreyer
Proceedings of the ACM on Programming Languages 7 (POPL), 1121-1151, 2023
162023
Sequential reasoning for optimizing compilers under weak memory concurrency
M Cho, SH Lee, D Lee, CK Hur, O Lahav
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
52022
Fair Operational Semantics
D Lee, M Cho, J Kim, S Moon, Y Song, CK Hur
Proceedings of the ACM on Programming Languages 7 (PLDI), 811-834, 2023
32023
Stuttering for Free
M Cho, Y Song, D Lee, L Gäher, D Dreyer
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1677-1704, 2023
2023
Conditional Contextual Refinement (CCR)
Y Song, M Cho, D Lee, CK Hur
arXiv preprint arXiv:2203.07431, 2022
2022
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic
Y Song, M Cho, D Lee, CK Hur
arXiv preprint arXiv:2109.02991, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6