Woosuk Lee

According to our database, Woosuk Lee authored at least 21 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling.

Doyoon Lee, Woosuk Lee, Kwangkeun Yi

Proc. ACM Program. Lang., 2026

2025

Inductive synthesis of structurally recursive functional programs from non-recursive expressions.

Hangyeol Cho, Woosuk Lee

J. Funct. Program., 2025

Mutli-Metric based GPU Scoring Method in Kubernetes Environments.

Jae-Hyung Kim, Woosuk Lee, Sang Hyeop Oh, Hyunsu Jeong, Heonchang Yu, Joon-Min Gil

Proceedings of the 23rd IEEE/ACIS International Conference on Software Engineering Research, 2025

2023

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., September, 2023

Madusa: mobile application demo generation based on usage scenarios.

Jaehyun Lee, Hangyeol Cho, Woosuk Lee

Autom. Softw. Eng., June, 2023

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.

Yongho Yoon, Woosuk Lee, Kwangkeun Yi

Proc. ACM Program. Lang., 2023

Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.

Jaehyung Lee, Woosuk Lee

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Datalog Static Analysis in Secrecy.

Mojgan Kouhounestani, Woosuk Lee

IEEE Access, 2022

2021

Combining the top-down propagation and bottom-up enumeration for inductive program synthesis.

Woosuk Lee

Proc. ACM Program. Lang., 2021

Context-aware and data-driven feedback generation for programming assignments.

Dowon Song, Woosuk Lee, Hakjoo Oh

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Syntax-guided synthesis of Datalog programs.

Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Accelerating search-based program synthesis using learned probabilistic models.

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Effective Program Debloating via Reinforcement Learning.

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Sound Non-Statistical Clustering of Static Analysis Alarms.

Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2017

2015

Static Analysis with Set-Closure in Secrecy.

Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014

A Progress Bar for Static Analyzers.

Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Static Analysis - 21st International Symposium, 2014

2012

Sound Non-statistical Clustering of Static Analysis Alarms.

Woosuk Lee, Wonchan Lee, Kwangkeun Yi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Design and implementation of sparse global analyses for C-like languages.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2005

Extensions and Variations on Construction of Autoreplicators in Typogenetics.

Kyubum Wee, Woosuk Lee

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005