Woosuk Lee

23 papers A* 5B 3C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling.
Proc. ACM Program. Lang.
Doyoon Lee, Woosuk Lee, Kwangkeun Yi
2025 J jnl
Inductive synthesis of structurally recursive functional programs from non-recursive expressions.
J. Funct. Program.
Hangyeol Cho, Woosuk Lee
2025 C conf
Mutli-Metric based GPU Scoring Method in Kubernetes Environments.
SERA
Jae-Hyung Kim, Woosuk Lee, Sang Hyeop Oh, Hyunsu Jeong, HeonChang Yu, Joon-Min Gil
2023 J jnl
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
CoRR
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
2023 J jnl
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
Proc. ACM Program. Lang.
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
2023 J jnl
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.
Proc. ACM Program. Lang.
Woosuk Lee, Hangyeol Cho
2023 J jnl
Madusa: mobile application demo generation based on usage scenarios.
Autom. Softw. Eng.
Jaehyun Lee, Hangyeol Cho, Woosuk Lee
2023 J jnl
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
ACM Trans. Program. Lang. Syst.
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2023 A* conf
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.
CCS
Jaehyung Lee, Woosuk Lee
2022 J jnl
Datalog Static Analysis in Secrecy.
IEEE Access
Mojgan Kouhounestani, Woosuk Lee
2021 J jnl
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis.
Proc. ACM Program. Lang.
Woosuk Lee
2021 — conf
Context-aware and data-driven feedback generation for programming assignments.
ESEC/SIGSOFT FSE
Dowon Song, Woosuk Lee, Hakjoo Oh
2020 A* conf
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.
PLDI
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2018 A* conf
Accelerating search-based program synthesis using learned probabilistic models.
PLDI
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
2018 A* conf
Effective Program Debloating via Reinforcement Learning.
CCS
Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik
2018 — conf
Syntax-guided synthesis of Datalog programs.
ESEC/SIGSOFT FSE
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
2017 J jnl
Sound Non-Statistical Clustering of Static Analysis Alarms.
ACM Trans. Program. Lang. Syst.
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2015 B conf
Static Analysis with Set-Closure in Secrecy.
SAS
Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
2014 B conf
A Progress Bar for Static Analyzers.
SAS
Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2014 J jnl
Global Sparse Analysis Framework.
ACM Trans. Program. Lang. Syst.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2012 A* conf
Design and implementation of sparse global analyses for C-like languages.
PLDI
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
2012 B conf
Sound Non-statistical Clustering of Static Analysis Alarms.
VMCAI
Woosuk Lee, Wonchan Lee, Kwangkeun Yi
2005 — conf
Extensions and Variations on Construction of Autoreplicators in Typogenetics.
ECAL
Kyubum Wee, Woosuk Lee