Woosuk Lee

According to our database, Woosuk Lee authored at least 19 papers between 2005 and 2023.

Collaborative distances:

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

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.

Jaehyung Lee, Hangyeol Cho, Woosuk Lee

Autom. Softw. Eng., June, 2023

Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.

Woosuk Lee, Hangyeol Cho

Proc. ACM Program. Lang., January, 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