Woosuk Lee (이우석)
Assistant professor, Programming Systems Lab., College of Computing, Hanyang University
news
Oct 3, 2020 | Our paper “Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis” is accepted to POPL 2021. |
Feb 25, 2020 | Our paper “Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting” is accepted to PLDI 2020. |
Dec 21, 2020 | I am looking for motivated graduate/undergraduate students and postdocs to work with. Please see our research projects |

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)
- Mojgan Kohestani
- Jehyung Lee
- Hangyeol Jo
Professional Activities
Program Committee
- 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