Jihyeok Park

Jihyeok Park is a Ph.D. candidate in School of Computing, KAIST, Korea. He is a main developer of SAFE, a Scalable Analysis Framework for ECMAScript, and JISET, a JavaScript IR-based Semantics Extraction Toolchain. Moreover, he is a main developer of JEST, a tool that performs N+1-version differential testing for both of JavaScript specifications and engines. Recently, he is working on developing other tools based on JISET.

Research Areas

  • Mechanized Specification

  • JavaScript Static Analysis

  • Differential Testing

  • Parsing Expression Grammar

Talks

Educational Background

  • March 2017 - Present, Integrated M.S. & Ph.D. in School of Computing, KAIST

  • March 2016 - Feb 2017, M.S. in School of Computing, KAIST

  • March 2012 - Feb 2016, B.S. in School of Computing and Mathematical Science, KAIST

Awards

  • ACM SIGSOFT Distinguished Paper Award, ICSE, 2021.

  • Ph.D. Fellowship Award, NAVER Corporation, 2020

  • Outstanding Teaching Assistant Award, KAIST CS320 Programming Languages, 2016 Fall - 2019 Spring (6 times)

  • Outstanding Teaching Assistant Award, KAIST CS109 Programming Practice, 2016 Spring

  • ACM Student Research Competition 3rd, Modularity, 2014.

  • Honor Program, School of Computing, KAIST, 2014.

  • KAIST Presidential Fellowship, School of Computing, KAIST, 2013.