Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• JavaScript

• Parametric Static analysis

Education

Ph.D. in Computer Science, March 2013 - Present

Computer Science Department, KAIST

MS in Computer Science, February 2011 - March 2013

Computer Science Department, KAIST

BS in Computer Engineering, March 2003 - February 2011

Department of Computer Engineering, Hanyang University ERICA campus

Publications

International Publications

• Hongki Lee, Changhee Park, and Sukyoung Ryu, “Automatically Tracing Imprecision Causes in JavaScript Static Analysis,” <Programming> 2020, March 2020.

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “Static Analysis of JavaScript Libraries in a Scalable and Precise Way Using Loop-Sensitivity,” Software: Practice and Experience (SPE), (Volume 48 Issue 4, April 2018).

• Yoonseok Ko, Hongki Lee, Julian Dolby, and Sukyoung Ryu, “Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications,” Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2015.

• 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 (DLS), October 2013.

• Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, Sukyoung Ryu, “SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript,” 2012 International Workshop on Foundations of Object-Oriented Languages (FOOL), October 2012.

• 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 (FOOL), October 2011.

Domestic Publications

• 이홍기, 진준호, 원순철, 조준희, 류석영, 고윤석, “SAFE: 확장 가능한 JavaScript 분석 프레임워크”, 정보과학회논문지 : 소프트웨어 및 응용 제40권 제5호, 2013.5, 283-289 (7 pages)

• 진준호, 원순철, 이홍기, 조준희, 류석영, “SAFE: 안전한 JavaScript 분석 프레임워크 개발”, 한국정보과학회 2012 가을 학술발표논문집 제39권 제2호(A), 2012.11, 269-271 (3 pages)

• 이홍기, 고윤석, 류석영, “Assert 로 자바스크립트 프로그램 분석의 정확도 높이기”, 한국정보과학회 2012 가을 학술발표논문집 제39권 제2호(A), 2012.11, 283-285 (3 pages)