Jihyeok Park

Registered user since Wed 13 Dec 2017

Name:Jihyeok Park
Bio:

Jihyeok Park is a Post Doctoral Fellow at Oracle Labs Australia. He is working on research about programming languages, especially static/dynamic program analysis. He is also leading an open-source project, ESMeta, which is a framework that extracts a mechanized specification from a given version of ECMAScript specification (ECMA-262) and automatically generates language-based tools.

Country:South Korea
Affiliation:Oracle Labs, Australia
Research interests:Mechanized Specification, JavaScript Static Analysis, Differential Testing, and Parsing Expression Grammar

Contributions

ISSTA 2022 Web Co-Chair in Organizing Comittee
APLAS 2022 Committee Member in Program Committee
PLDI 2022 Author of Filling the gap between the JavaScript language specification and tools using the JISET family within the Tutorials-track
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
SPLASH 2022 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-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