Programming Systems Lab. | Woosuk Lee (이우석)

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

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

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

POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
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

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

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.
Oct 12, 2021	I am looking for motivated graduate/undergraduate students and postdocs to work with. Please see our research projects

Woosuk Lee (이우석)