Woosuk Lee (이우석)

Research Interests

My research interest spans all aspects of programming systems with the goal of improving software quality and programmer productivity. In particular,

• Sound, Scalable, Precise & User-friendly Static Analysis
• Scalable Program Synthesis

For more information about my research, please see publications, talks, and projects.

Vita

• Sep. 2018 - current, Assistant Professor, Hanyang University
• Jan. 2017 - Aug. 2018, Postdoctoral Fellow, University of Pennsylvania (advisor: Prof. Mayur Naik).
• Mar. 2016 - Jan. 2017, Postdoctoral Fellow, Georgia Institute of Technology (advisor: Prof. Mayur Naik)
• Mar. 2009 - Feb. 2016, Ph.D. Programming Research Laboratory, Seoul National University (advisor: Prof. Kwangkeun Yi)
• Feb. 2009, B.S. School of Computer Science and Engineering, Seoul National University

People

PhD Students

• DongKwon Lee (co-advised with Kwangkeun Yi)
• Jehyung Lee
• Hangyeol Jo

Undergrads

• Hyeongchang Lee
• Beomsu Kwon
• Minseo Kim

Professional Activities

Program Committee

• POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages (PC & SRC)
• PLDI 2021: 42th ACM SIGPLAN Conference on Programming Language Design and Implementation
• ICSE 2020 (Software Engineering in Practice track): 42nd International Conference on Software Engineering
• ESOP 2020: European Symposium on Programming
• PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Reviewer

• IEEE Transactions on Software Engineering
• ACM Transactions on Programming Languages and Systems

Vulnerabilities Reported

• CVE-2015-8106 (Latex2rtf format string vulnerability)
• CVE-2015-8106 (a2ps format string vulnerability)

Contact

• Email: woosuk at hanyang.ac.kr
• Address: Rm 403, 3rd Engineering Building, Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588