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

Professional Activities

Program Committee

  • PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
  • ESOP 2020: European Symposium on Programming

Reviewer

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

Vulnerabilities Reported

Contact

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