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.

  • full_formalization.pdf (Full LSA formalization)

  • coqproof_new.zip (Coq proof files)

  • safelsa_new.zip (LSA implementation and benchmarks)

Publications

• Changhee Park, Hyeonseung Im, and Sukyoung Ryu, “Precise and Scalable Static Analysis of jQuery Using a Regular Expression Domain,” Proceedings of Dynamic Language Symposium (DLS), October 2016.

  • safereg.zip (SAFE extension with a regular expression domain)

  • reg_formalization.pdf (Regular expression formalization)

  • proofs.pdf (Other proofs)

• Changhee Park, Sooncheol Won, Joonho Jin, and Sukyoung Ryu, “ Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling,” Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, November 2015.

  • statistics-public.xlsx (Usage of DOM objects and browser APIs in 9,465 popular websites)

  • safewapp.zip (Implementations of SAFEWapp and its bug detector with their sources)

• Changhee Park and Sukyoung Ryu, “Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity”, Proceedings of the European Conference on Object-Oriented Programming, July 2015.

  • formalization_full_.pdf (Full formalization)

  • coqproof.zip (Coq proof files)

  • safe_lsa.zip (SAFE_lsa implementation and benchmarks)

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “All about the ''with'' Statement in JavaScript: Removing ''with'' Statements in JavaScript Applications,” Proceedings of Dynamic Language Symposium 2013, October 2013.

• Changhee Park, Guy L. Steele, Jr., and Jean-Baptiste Tristan, “Parallel Programming with Big Operators,” Proceedings of the 18th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, January 2013.

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “An Empirical Study on the Rewritability of the with Statement in JavaScript,” 2011 International Workshop on Foundations of Object-Oriented Languages, October 2011.

• Sukyoung Ryu, Changhee Park and Guy L. Steele Jr., “Adding Pattern Matching to Existing Object-Oriented Languages,” 2010 International Workshop on Foundations of Object-Oriented Languages, October 2010.