Jihyeok Park

Registered user since Wed 13 Dec 2017

Name:Jihyeok Park
Bio:

Jihyeok Park is a Phd. 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.

Country:South Korea
Affiliation:KAIST
Research interests:Mechanized Specification, JavaScript Static Analysis, Static/Dynamic Hybrid Analysis, and Differential Testing

Contributions

ASE 2021 Author of Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement" within the Artifact Evaluation-track
Author of JSTAR: JavaScript Specification Type Analyzer using Refinement within the Research Papers-track
ESEC/FSE 2021 Author of Accelerating JavaScript Static Analysis via Dynamic Shortcuts within the Research Papers-track
ECOOP and ISSTA 2021 Author of JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) within the Doctoral Symposium-track
ASE 2020 Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2021 Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the AE - Artifact Evaluation-track
Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the Technical Track-track
SPLASH 2019 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Scala 2018 Author of Path Dependent Types with Path-Equality within the Scala 2018-track
ProWeb 2018 Author of A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency within the ProWeb 2018-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
SOAP 2017 Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track