| 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 | 29 | 2023 |
| 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 | 13 | 2022 |
| 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 | 8 | 2023 |
| 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 | 7 | 2023 |
| SECOMP: Formally Secure Compilation of Compartmentalized C Programs J Thibault, R Blanco, D Lee, S Argo, A Azevedo de Amorim, AL Georges, ... Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 1 | 2024 |
| Refinement Composition Logic Y Song, D Lee Proceedings of the ACM on Programming Languages 8 (ICFP), 573-601, 2024 | | 2024 |
| OPERATIONAL SEMANTICS FOR EXPRESSING AND REASONING ABOUT FAIRNESS PROPERTIES 이동재 서울대학교 대학원, 2024 | | 2024 |
| 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 |
