Research Interests

My research interest spans all aspects of programming systems with the goal of improving software quality and programmer productivity by combining ideas in the fields of programming languages, software engineering, compilers, and security.

My current focus concerns developing scalable techniques to automatically synthesize programs to make it easier for programmers to construct more efficient and safe software. I am also interested in developing program analysis and repair tools for detecting and fixing software bugs.

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

Vita

People

PhD Students

MS Students

  • Jinsang Kim
  • Wang Ao

Undergrads

  • Junseong Park

Alumni

Professional Activities

Program Committee

  • PLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
  • APLAS 2023: 21st Asian Symposium on Programming Languages and Systems
  • 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

  • Journal of Artificial Intelligence Research
  • IEEE Transactions on Software Engineering
  • ACM Transactions on Programming Languages and Systems

Contact

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