ProfessorsProfessors of Hanyang UniversityWoosuk Lee

Woosuk Lee

Hanyang University

H-index: 10

Asia-South Korea

About Woosuk Lee

Woosuk Lee, With an exceptional h-index of 10 and a recent h-index of 9 (since 2020), a distinguished researcher at Hanyang University, specializes in the field of Program analysis, program synthesis.

His recent articles reflect a diverse array of research interests and contributions to the field:

Inductive program synthesis via iterative forward-backward abstract interpretation

Madusa: mobile application demo generation based on usage scenarios

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

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

Datalog Static Analysis in Secrecy

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

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

Woosuk Lee Information

University	Hanyang University
Position	___
Citations(all)	655
Citations(since 2020)	500
Cited By	349
hIndex(all)	10
hIndex(since 2020)	9
i10Index(all)	10
i10Index(since 2020)	9
Email	Access Email
University Profile Page	Hanyang University
Google Scholar	View Google Scholar Profile

Woosuk Lee Skills & Research Interests

Program analysis

program synthesis

Top articles of Woosuk Lee

Title	Journal	Author(s)	Publication Date
Inductive program synthesis via iterative forward-backward abstract interpretation	Proceedings of the ACM on Programming Languages	Yongho Yoon Woosuk Lee Kwangkeun Yi	2023/6/6
Madusa: mobile application demo generation based on usage scenarios	Automated Software Engineering	Jaehyung Lee Hangyeol Cho Woosuk Lee	2023/5
Inductive synthesis of structurally recursive functional programs from non-recursive expressions	Proceedings of the ACM on Programming Languages	Woosuk Lee Hangyeol Cho	2023/1/9
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search	ACM Transactions on Programming Languages and Systems	Dongkwon Lee Woosuk Lee Hakjoo Oh Kwangkeun Yi	2023/9/22
Datalog Static Analysis in Secrecy	IEEE Access	Mojgan Kouhounestani Woosuk Lee	2022/5/25
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis	Proceedings of the ACM on Programming Languages	Woosuk Lee	2021/1
Context-aware and data-driven feedback generation for programming assignments		Dowon Song Woosuk Lee Hakjoo Oh	2021/8/20