박창희

Changhee Park

Ph.D., PLRG Lab.

Computer Science Department

Korea Advanced Institute of Science and Technology

Research Interests

  • Static analysis for JavaScript programs in web applications

  • Scalable, accurate, and practical program analyses

  • Proof assistants for programming languages and program analyses

Education

Ph.D. in Computer Science, February 2012 - August 2016

Computer Science Department, KAIST

MS in Computer Science, February 2010 - February 2012

Computer Science Department, KAIST

BS in Computer Science and Computer Engineering, February 2003 - February 2010

Department of Computer Science and Engineering, Sogang University

Technical Reports

  • Changhee Park and Sukyoung Ryu, “Static Analysis of JavaScript Libraries in a Scalable and Precise Way Using Loop-Sensitivity,” April 2016.

Publications