Jihyeok Park

Ph.D. Candidate, Programming Language Research Group (PLRG).

Korea Advanced Institute of Science and Technology (KAIST)

Contact

E-mail: jhpark0223@kaist.ac.kr
GitHub: https://github.com/jhnaldo

Jihyeok Park is a Ph.D. candidate in School of Computing, KAIST, Korea. He is one of the main developers of SAFE, a Scalable Analysis Framework for ECMAScript, and JISET, a JavaScript IR-based Semantics Extraction Toolchain. Moreover, he is one of the main developers of JEST, a tool that performs N+1-version differential testing for both 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

JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE 2021, Online. November 17, 2021.
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] EIRIC Seminar, Online. October 12, 2021.
JavaScript Static Analysis for Evolving Language Specifications. [video] KAISTPL, Online. September 17, 2021.
JavaScript Static Analysis with Evolving Engines and Specification. ECOOP/ISSTA 2021 DS, Online. July 13, 2021.
Towards Co-evolution of JavaScript Specification and Tools. Prosys Lab, KAIST, Daejeon, South Korea. June 28, 2021.
JISET: JavaScript IR-based Semantics Extraction Toolchain. KCC 2021 Invite Talk, Jeju, South Korea. June 23, 2021.
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] ICSE 2021, Online. May 28, 2021.
JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE 2020, Online. September 23, 2020.
Update-Tolerant JavaScript Static Analysis for Frequently Released ECMAScript. NUS Seminar, Singapore. November 26, 2019.
Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild. ICSME 2019 J1C2, Cleveland, USA. September 28, 2018.
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency. ProWeb 2018, Nice, France. April 10, 2018.
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction. SOAP 2017, Barcelona, Spain. June 18, 2017.
Analysis of JavaScript Web Applications Using SAFE 2.0. [video] ICSE 2017 Demo, Buenos Aires, Argentina. May 24, 2017
JavaScript API Misuse Detection by Using TypeScript. Modularity 2014 SRC, Lugano, Switzerland. April 22, 2014

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.