| 2025 | SERA | Mutli-Metric based GPU Scoring Method in Kubernetes Environments. | Jae-Hyung Kim, Woosuk Lee, Sang Hyeop Oh, Hyunsu Jeong, Heonchang Yu, Joon-Min Gil |
| 2023 | CCS | Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting. | Jaehyung Lee, Woosuk Lee |
| 2020 | PLDI | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. | DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2018 | CCS | Effective Program Debloating via Reinforcement Learning. | Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik |
| 2018 | PLDI | Accelerating search-based program synthesis using learned probabilistic models. | Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
| 2015 | SAS | Static Analysis with Set-Closure in Secrecy. | Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon |
| 2014 | SAS | A Progress Bar for Static Analyzers. | Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2012 | PLDI | Design and implementation of sparse global analyses for C-like languages. | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |
| 2012 | VMCAI | Sound Non-statistical Clustering of Static Analysis Alarms. | Woosuk Lee, Wonchan Lee, Kwangkeun Yi |