Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• Declarative languages

• Mechanized Specification

• Program transformation

Education

Integrated MS & Ph.D. in Computer Science, Mar. 2020 - Present

School of Computing, KAIST

BS in Computer Science & Mathematical Science, Mar. 2016 - Feb. 2020

School of Computing, KAIST

Publication

• Joonyoung Park*, Jihyeok Park*, Dongjun Youn, and Sukyoung Ryu, “Accelerating JavaScript Static Analysis via Dynamic Shortcuts,” Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), August 2021.

  • Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu, “JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification,” (video) Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE), May 2021. ACM SIGSOFT Distinguished Paper Award.

Contact

Rm. 4410, School of Computing (E3-1), KAIST

291 Daehak-ro

Yuseong-gu

Daejeon 34141

Republic of Korea

Email: f52985 [at] kaist.ac.kr