이홍기

Hongki Lee

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

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

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.

이홍기, 진준호, 원순철, 조준희, 류석영, 고윤석, “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)